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