Reservoir
No results found
All Packages
workshop
Repo for the first BerLean workshop.
Readme
Versions (1)
Dependencies (7)
Displaying
1-1
of
1
versions of
workshop
Sort by
Date
Not a part of any version track.
d64165e
3 months ago
Released on July 9, 2024 at 11:26:07AM
Commit d64165e builds on its old leanprover/lean4:v4.10.0-rc1
v4.10.0-rc1
299.5 KB
Build archive size: 299458 bytes.
1
20