1 result found Sort:
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
Created
2022-11-18
298 commits to master branch, last one a day ago