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
19 hours ago
Released on October 2, 2024 at 7:54:50PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.12.0
1
20