K kirancodes.me Lean proved this program correct; then I found a bug 395 points bumbledraven 6 months ago 178 comments
