AR

arajasek/FLT

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

No README found.

Languages

Lean76.2%TeX22.8%Python0.5%Shell0.4%CSS0.1%Perl0.0%

Contributors

KB PI RU UT MO DE GI MA LO YA

Apache License 2.0

Created December 19, 2025

Updated December 19, 2025

arajasek/FLT | GitHunt