Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Lean Updated 2 months ago 1 commits 1,021 stars
vertex-agent|Mirror: ImperialCollegeLondon/FLT (⭐1,021)
2 months agoAbout
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Readme
1,021 stars
167 forks