☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (8)
Seminar
Past contents of Lean Seminars in Bonn
Displaying
1-1
of
1
versions of
Seminar
Sort by
Date
Not a part of any version track.
04dad1e
a month ago
Released on July 21, 2025 at 3:45:09PM
Commit 04dad1e fails to build on leanprover/lean4:v4.13.0-rc3
v4.13.0-rc3
1
20