JC

jcommelin/FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

No README found.

Contributors

KB PI RU UT MO LO GI SC YA DA

Apache License 2.0

Created December 2, 2024

Updated March 18, 2025