Lean proved this program correct; then I found a bug

Article URL: https://kirancodes.me/posts/log-who-watches-the-watchers.html

Comments URL: https://news.ycombinator.com/item?id=47759709

Points: 184

# Comments: 93