Reservoir
No results found
All Packages
Polylean
Readme
Versions (3)
Dependencies (9)
Displaying
1-3
of
3
versions of
Polylean
Sort by
Date
Not a part of any version track.
b2379c5
13 days ago
Released on April 22, 2025 at 10:12:08AM
Commit b2379c5 builds on its recent leanprover/lean4:v4.19.0-rc3
v4.19.0-rc3
1.6 MB
Build archive size: 1618821 bytes.
Not a part of any version track.
9fda7ba
v2.0-uc
3 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
3 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