FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
of 13 versions of FLT
1-13Sort by
Date
0e08fbb
48cda55
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