Lean proved this program correct; then I found a bug

373 points

by bumbledraven

22 hours ago

166 comments