☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (4)
Dependencies (9)
EllipticCurve
0.1.0
Towards a general definition of elliptic curve over schemes
#math
Displaying
1-4
of
4
versions of
EllipticCurve
Sort by
Date
0.1
Version track: 0.1
0.1.0
13 days ago
Released on October 6, 2025 at 2:59:29PM
Commit d0e5a50 builds on its recent leanprover/lean4:v4.24.0-rc1
v4.24.0-rc1
13.6 MB
Build archive size: 13563071 bytes.
0.1
Version track: 0.1
0.1.0
v4.24.0-rc1
18 days ago
Released on October 1, 2025 at 1:04:27PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.24.0-rc1
0.1
Version track: 0.1
0.1.0
v4.23.0-rc2
2 months ago
Released on August 18, 2025 at 3:56:19PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.23.0-rc2
0.1
Version track: 0.1
0.1.0
v4.22.0-rc3
3 months ago
Released on July 6, 2025 at 8:12:16PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.22.0-rc3
1
20