Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
-
Updated
Oct 26, 2024 - Lean
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
Formalisation of the Kelley-Meka bound on Roth numbers
AddComb.js is a javascript library for additive combinatorics calculation.
Add a description, image, and links to the additive-combinatorics topic page so that developers can more easily learn about it.
To associate your repository with the additive-combinatorics topic, visit your repo's landing page and select "manage topics."