Ongoing Lean formalisation of the proof of Fermat's Last Theorem
ImperialCollegeLondon/FLT has 998 GitHub stars.
It currently ranks #30107 daily, #30523 weekly, #32210 monthly by momentum on Trending Repos; its best-ever rank is #610.
Trending Repos first recorded it on May 15, 2026.