Reservoir
No results found
All Packages
LeanCamCombi
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
Readme
Versions (1)
Dependencies (12)
Displaying
1-1
of
1
versions of
LeanCamCombi
Sort by
Date
Not a part of any version track.
7d6960c
a day ago
Released on October 11, 2024 at 1:26:10PM
Commit 7d6960c builds on its recent leanprover/lean4:v4.13.0-rc3
v4.13.0-rc3
7.4 MB
Build archive size: 7409935 bytes.
1
20