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