☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (6)
advent-of-lean
Displaying
1-1
of
1
versions of
advent-of-lean
Sort by
Date
Not a part of any version track.
9704a78
2 years ago
Released on December 8, 2023 at 7:26:34PM
Commit 9704a78 builds on its old leanprover/lean4:v4.3.0
v4.3.0
1
20