Lean proved this program correct; then I found a bug

[bumbledraven]

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

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

Points: 80

# Comments: 36