Reservoir
No results found
All Packages
leancolls
WIP collections library for Lean 4
Readme
Versions (4)
Dependencies (11)
Displaying
1-4
of
4
versions of
leancolls
Sort by
Date
Not a part of any version track.
139af3f
2 months ago
Released on August 14, 2024 at 6:12:03AM
Commit 139af3f builds on its old leanprover/lean4:v4.10.0
v4.10.0
2.8 MB
Build archive size: 2792600 bytes.
Not a part of any version track.
4559f73
v4.9.0
3 months ago
Released on July 6, 2024 at 12:19:47AM
Commit 4559f73 builds on its old leanprover/lean4:v4.9.0
v4.9.0
2.8 MB
Build archive size: 2750167 bytes.
Not a part of any version track.
9b4aa4e
v4.7.0
6 months ago
Released on April 15, 2024 at 3:08:16AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.7.0
Not a part of any version track.
a0168be
v4.5.0
8 months ago
Released on February 2, 2024 at 8:08:50PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.5.0
1
20