Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
-
Updated
Jun 6, 2025 - Lean
#
additive-combinatorics
Here are 6 public repositories matching this topic...
Formalisation of the Kelley-Meka bound on Roth numbers
-
Updated
Jun 6, 2025 - Lean
The (currently unofficial) sublibrary of Mathlib dedicated to additive combinatorics
-
Updated
Jun 6, 2025 - Shell
Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity
-
Updated
Jun 6, 2025 - TeX
AddComb.js is a javascript library for additive combinatorics calculation.
-
Updated
Apr 29, 2025 - HTML
Miscellaneous projects I am working on in Lean
-
Updated
Jun 6, 2025 - Lean
Improve this page
Add a description, image, and links to the additive-combinatorics topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the additive-combinatorics topic, visit your repo's landing page and select "manage topics."