Lean proved this program was correct; then I found a bug

(kirancodes.me) by bumbledraven | Apr 14, 2026 | 0 comments on HN