FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
of 15 versions of FLT
1-15Sort by
Date
ed64c74
117ae4e
v4.20.0-rc5v4.20.0-rc5ba7955b
v4.19.0v4.19.048cda55
v4.19.0-rc3v4.19.0-rc3d45fbf2
v4.19.0-rc2v4.19.0-rc22e72bd5
v4.18.0v4.18.0da201f7
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