FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
of 10 versions of FLT
1-10Sort by
Date
7e7bb42
da201f7
b1c082c
v4.17.0v4.17.085df81a
v4.17.0-rc1v4.17.0-rc14a97c89
v4.16.0v4.16.057b2cca
v4.16.0-rc2v4.16.0-rc25a6f000
v4.15.0v4.15.09c58df4
v4.15.0-rc1v4.15.0-rc1d6c13d0
v4.14.0-rc3v4.14.0-rc3f56857a