A Lean Formalisation of Fermat's Last Theorem(github.com)
github.com
A Lean Formalisation of Fermat's Last Theorem
https://github.com/ImperialCollegeLondon/FLT/blob/main/GENERAL.md
0 comments
—
https://github.com/ImperialCollegeLondon/FLT/blob/main/GENERAL.md
—