Lean proved this program correct; then I found a bug

[bumbledraven]

Article URL: Lean proved this program was correct; then I found a bug.

Comments URL: Lean proved this program correct; then I found a bug | Hacker News

Points: 126

# Comments: 69

Continue reading...