Lean proved this program correct; then I found a bug

Lean proved this program correct; then I found a bug (kirancodes.me)

375 points

bybumbledraven

a day ago |