/FLT

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

Primary LanguageTeXApache License 2.0Apache-2.0

Stargazers

No one’s star this repository yet.