Pinned Loading

1. apap apap Public

   Formalisation of the Kelley-Meka bound on Roth numbers

   Lean 30 12

2. cam-combi cam-combi Public

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

   Lean 88 24

3. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 4.4k 1.8k

4. leanprover-community/add-combi leanprover-community/add-combi Public

   The sublibrary of Mathlib dedicated to additive combinatorics

   Lean 19 4

5. maths-notes maths-notes Public

   Lectures notes from the 2023-24 Cambridge Part III courses

   TeX 9