ImperialCollegeLondon / FLTLinks

Ongoing Lean formalisation of the proof of Fermat's Last Theorem
640Updated last week

Alternatives and similar repositories for FLT

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

Sorting: