☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (3)
Dependencies (9)
EllipticCurve
0.1.0
Towards a general definition of elliptic curve over schemes
#math
Displaying
1-3
of
3
versions of
EllipticCurve
Sort by
Date
0.1
Version track: 0.1
0.1.0
4 days ago
Released on September 24, 2025 at 4:56:33PM
Commit 761c28e builds on its recent leanprover/lean4:v4.23.0-rc2
v4.23.0-rc2
6.8 MB
Build archive size: 6752103 bytes.
0.1
Version track: 0.1
0.1.0
v4.23.0-rc2
a month 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