Topic: "additive-combinatorics"
YaelDillies/LeanCamCombi
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
Language: Lean - Size: 966 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 58 - Forks: 14
YaelDillies/LeanAPAP
Formalisation of the Kelley-Meka bound on Roth numbers
Language: Lean - Size: 1.42 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 17 - Forks: 7
YaelDillies/add-combi
The (currently unofficial) sublibrary of Mathlib dedicated to additive combinatorics
Language: Shell - Size: 43 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 8 - Forks: 1
YaelDillies/ChandraFurstLipton
Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity
Language: TeX - Size: 87.9 KB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 3 - Forks: 1
PeterEFrancis/addcomb-js
AddComb.js is a javascript library for additive combinatorics calculation.
Language: HTML - Size: 296 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0
