Hacker News new | ask | show | jobs
Lean proved this program was correct; then I found a bug (kirancodes.me)
7 points by gopiandcode 71 days ago