Giters

YaelDillies / LeanCamCombi

Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean

Home Page:https://yaeldillies.github.io/LeanCamCombi/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

YaelDillies/LeanCamCombi Stargazers