Lean proved this program was correct; then I found a bug
via kirancodes.me
Short excerpt below. Read at the original source.
Article URL: https://kirancodes.me/posts/log-who-watches-the-watchers.html Comments URL: https://news.ycombinator.com/item?id=47759709 Points: 5 # Comments: 0