Lean proved this program correct; then I found a bug

373 points

by bumbledraven

21 hours ago

166 comments