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.
6a6a670
2 days ago
Released on January 3, 2025 at 10:57:35PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.15.0-rc1
1
20