Hacker Neus
Lean proved this program correct; then I found a bug
(kirancodes.me)
373 points
by bumbledraven
a day ago |
166 comments
