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