Lean proved this program correct; then I found a bug April 14, 2026 · Hacker News Read full story at source