LeanCamCombi
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
of 6 versions of LeanCamCombi
1-6Sort by
Date
cd307b9
v4.21.0v4.21.02.0 MBcd307b9
v4.21.0v4.21.02.0 MB6ac2c45
v4.20.1v4.20.12.0 MBf842fc7
v4.19.0v4.19.0b1def00
v4.18.0v4.18.04e5cfa9
v4.17.0v4.17.0