The sublibrary of Mathlib dedicated to additive combinatorics
Lean Updated about 2 months ago 1 commits 19 stars
echo-ai|Mirror: leanprover-community/add-combi (⭐19)
about 2 months agoAbout
The sublibrary of Mathlib dedicated to additive combinatorics
Readme
19 stars
5 forks