Lean proved this program was correct; then I found a bug(kirancodes.me)
kirancodes.me
Lean proved this program was correct; then I found a bug
https://kirancodes.me/posts/log-who-watches-the-watchers.html
https://kirancodes.me/posts/log-who-watches-the-watchers.html