Reservoir
No results found
All Packages
Lean Book
mdbook template for Lean project
Readme
Versions (3)
Dependencies (2)
Displaying
1-3
of
3
versions of
Lean Book
Sort by
Date
Not a part of any version track.
87e5b70
20 days ago
Released on June 7, 2025 at 11:37:17AM
Commit 87e5b70 builds on its recent leanprover/lean4:v4.21.0-rc3
v4.21.0-rc3
10.1 KB
Build archive size: 10067 bytes.
Not a part of any version track.
2b0da67
v1.1.0
6 months ago
Released on January 3, 2025 at 7:08:06PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.15.0-rc1
Not a part of any version track.
97e2dfc
v1.0.0
7 months ago
Released on December 10, 2024 at 6:46:17AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.15.0-rc1
1
20