Reservoir
No results found
All Packages
verso-manual
The Lean reference manual
Readme
Versions (1)
Dependencies (3)
Displaying
1-1
of
1
versions of
verso-manual
Sort by
Date
Not a part of any version track.
732cc96
10 days ago
Released on February 23, 2025 at 8:59:34PM
Commit 732cc96 fails to build on leanprover/lean4:nightly-2025-02-19
nightly-2025-02-19
1
20