Reservoir
No results found
All Packages
Toric
Formalisation of toric varieties in Lean 4
Readme
Versions (3)
Dependencies (10)
Displaying
1-3
of
3
versions of
Toric
Sort by
Date
Not a part of any version track.
747d48e
a day ago
Released on April 24, 2025 at 5:43:51PM
Commit 747d48e builds on its recent leanprover/lean4:v4.19.0-rc3
v4.19.0-rc3
7.2 MB
Build archive size: 7196246 bytes.
Not a part of any version track.
400fc30
v4.18.0
24 days ago
Released on April 1, 2025 at 10:12:50AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.18.0
Not a part of any version track.
bfea482
v4.17.0
2 months 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