Reservoir
No results found
All Packages
Toric
Formalisation of toric varieties in Lean 4
Readme
Versions (2)
Dependencies (10)
Displaying
1-2
of
2
versions of
Toric
Sort by
Date
Not a part of any version track.
c424880
15 hours ago
Released on March 16, 2025 at 12:43:45AM
Commit c424880 builds on its recent leanprover/lean4:v4.18.0-rc1
v4.18.0-rc1
3.6 MB
Build archive size: 3622996 bytes.
Not a part of any version track.
bfea482
v4.17.0
11 days ago
Released on March 5, 2025 at 1:30:51PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.17.0
1
20