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