Reservoir
No results found
All Packages
leancolls
WIP collections library for Lean 4
Readme
Versions (4)
Dependencies (9)
Dependents (1)
Displaying
1-4
of
4
versions of
leancolls
Sort by
Date
Not a part of any version track.
e34cd41
a month ago
Released on November 22, 2024 at 8:35:27AM
Commit e34cd41 builds on its old leanprover/lean4:v4.13.0
v4.13.0
2.7 MB
Build archive size: 2722126 bytes.
Not a part of any version track.
4559f73
v4.9.0
5 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
8 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
a year 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