anthropics/fermats-last-theorem
146 best points · 31 comments · 1 Hacker News post · 1,298 GitHub stars · View on GitHub
Hacker News discussions
- Fermat's Last Theorem in Lean 4 (146 points, 31 comments, by aaraujo002, 2026-09-04)
146 best points · 31 comments · 1 Hacker News post · 1,298 GitHub stars · View on GitHub