Lean proved this program correct; then I found a bug

Hacker NewsHacker News
April 14, 2026 at 12:25 AM

Comments