ImperialCollegeLondon / FLT

git clone https://github.com/ImperialCollegeLondon/FLT.git

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

stars, 24h · #19,019

+~2

stars, 7 days · #32,631

+~8

stars, 30 days · #35,985

1.1k

★ total · +0% this week

171

forks · 65 open issues

2026-10-20 · 1,051 ★ 2026-10-24 · 1,052 ★

LanguageLean

LicenseApache-2.0

Created2023-11-19 (2y ago)

Last pushtoday

OwnerOrganization

Loading README…