ImperialCollegeLondon / FLT

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

Related projects

Alternatives and complementary repositories for FLT