Lean proved this program correct; then I found a bugkirancodes.me
116 points by bumbledraven 3 hours ago | 64 comments