☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (3)
Dependencies (9)
cslib
0.1.0
A Lean library for Computer Science
Displaying
1-3
of
3
versions of
cslib
Sort by
Date
0.1
Version track: 0.1
0.1.0
4 days ago
Released on September 24, 2025 at 10:44:45AM
Commit 3fe4da7 builds on its recent leanprover/lean4:v4.24.0-rc1
v4.24.0-rc1
6.6 MB
Build archive size: 6614784 bytes.
0.1
Version track: 0.1
0.1.0
v4.24.0-rc1
13 days ago
Released on September 15, 2025 at 1:35:55PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.24.0-rc1
0.1
Version track: 0.1
0.1.0
v4.22.0
18 days ago
Released on September 10, 2025 at 1:17:17PM
Commit b66615f builds on its recent leanprover/lean4:v4.22.0
v4.22.0
5.7 MB
Build archive size: 5738181 bytes.
1
20