Yaël Dillies

icon indicating an email [email protected]

icon location France icon location Fourth year maths undergraduate at Gonville & Caius, University of Cambridge. Future PhD student at Stockholm Universitet.

Results 1 repositories owned by Yaël Dillies

LeanCamCombi

27
Stars
8
Forks
Watchers

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

verified publisher icon YaelDillies