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