ImperialCollegeLondon/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
127 best points · 79 comments · 2 Hacker News posts · 1,056 GitHub stars · View on GitHub
Hacker News discussions
- Ongoing Lean formalization of the proof for Fermat's Last Theorem (127 points, 79 comments, by anonyonoor, 2025-07-31)
- A Lean Formalisation of Fermat's Last Theorem (2 points, 0 comments, by bcye, 2025-09-04)