Reservoir
No results found
All Packages
LeanCourse
Bonn Lean course for winter 24/25
Readme
Versions (1)
Dependencies (12)
Displaying
1-1
of
1
versions of
LeanCourse
Sort by
Date
Not a part of any version track.
c318c9f
3 days ago
Released on October 30, 2024 at 10:58:05PM
Commit c318c9f builds on its recent leanprover/lean4:v4.13.0-rc3
v4.13.0-rc3
2.1 MB
Build archive size: 2081506 bytes.
1
20