1 result found Sort:

YaelDillies
LeanCamCombi YaelDillies
9
40
apache-2.0
6
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
lean4 combinatorics additive-combinatorics
Created 2022-11-18
210 commits to master branch, last one 3 days ago