ImperialCollegeLondon / FLT

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

Related projects

Alternatives and complementary repositories for FLT