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 (13)
Displaying
1-1
of
1
versions of
LeanCamCombi
Sort by
Date
Not a part of any version track.
83bdb8b
4 days ago
Released on December 23, 2024 at 5:19:22PM
Commit 83bdb8b builds on its recent leanprover/lean4:v4.15.0-rc1
v4.15.0-rc1
10.3 MB
Build archive size: 10302255 bytes.
1
20