LeanCamCombi icon indicating copy to clipboard operation
LeanCamCombi copied to clipboard

Published 20 hours ago • verified publisher icon YaelDillies
→

Metadata

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

← Metadata

32
Stars
8
Forks
Watchers

Owner

verified publisher icon YaelDillies

Metadata

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

Back