LeanCamCombi
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
1-11 of 11 versions of LeanCamCombi
Sort by
Date
487914av4.26.0-rc296f1df4v4.26.0-rc2v4.26.0-rc234a573bv4.25.0v4.25.02.3 MBda021edv4.24.0v4.24.02.4 MBc314029v4.23.0v4.23.099a77d1v4.22.0v4.22.02.0 MBcd307b9v4.21.0v4.21.02.0 MB6ac2c45v4.20.1v4.20.12.0 MBf842fc7v4.19.0v4.19.0b1def00v4.18.0v4.18.04e5cfa9v4.17.0v4.17.0