Reservoir
No results found
All Packages
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Readme
Versions (4)
Dependencies (14)
Displaying
1-4
of
4
versions of
FLT
Sort by
Date
Not a part of any version track.
cc6ed6e
17 hours ago
Released on December 19, 2024 at 10:30:10PM
Commit cc6ed6e builds on its recent leanprover/lean4:v4.15.0-rc1
v4.15.0-rc1
6.4 MB
Build archive size: 6357712 bytes.
Not a part of any version track.
9c58df4
v4.15.0-rc1
18 days ago
Released on December 2, 2024 at 9:51:26AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.15.0-rc1
Not a part of any version track.
d6c13d0
v4.14.0-rc3
20 days ago
Released on November 30, 2024 at 1:53:27PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.14.0-rc3
Not a part of any version track.
f56857a
v4.14.0-rc2
a month ago
Released on November 19, 2024 at 9:29:20AM
Commit f56857a builds on its recent leanprover/lean4:v4.14.0-rc2
v4.14.0-rc2
7.0 MB
Build archive size: 7042113 bytes.
1
20