Reservoir
No results found
All Packages
LeanInVienna
Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.
Readme
Versions (1)
Dependencies (8)
Displaying
1-1
of
1
versions of
LeanInVienna
Sort by
Date
Not a part of any version track.
273e31b
3 months ago
Released on October 2, 2024 at 7:54:50PM
Commit 273e31b builds on its old leanprover/lean4:v4.12.0
v4.12.0
1.3 MB
Build archive size: 1299599 bytes.
1
20