Reservoir
No results found
All Packages
Polylean
Readme
Versions (3)
Dependencies (7)
Displaying
1-3
of
3
versions of
Polylean
Sort by
Date
Not a part of any version track.
f0619d3
a month ago
Released on September 3, 2024 at 10:37:23AM
Commit f0619d3 builds on its old leanprover/lean4:v4.11.0
v4.11.0
1.8 MB
Build archive size: 1766978 bytes.
Not a part of any version track.
9fda7ba
v2.0-uc
2 years ago
Released on August 7, 2022 at 2:26:10PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
nightly-2022-07-24
Not a part of any version track.
03ef8b3
v1.0
2 years ago
Released on May 31, 2022 at 3:43:02AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
nightly-2022-05-10
1
20