ImperialCollegeLondon / FLTLinks

Ongoing Lean formalisation of the proof of Fermat's Last Theorem
455Updated this week

Alternatives and similar repositories for FLT

Users that are interested in FLT are comparing it to the libraries listed below

Sorting: