b-mehta / combinatorics
☆23Updated 2 years ago
Alternatives and similar repositories for combinatorics:
Users that are interested in combinatorics are comparing it to the libraries listed below
- Plain-text declaration export for Lean 4☆14Updated 5 months ago
- The formal proof of the Odd Order Theorem☆30Updated last month
- Very controlled natural language tactics for Lean☆62Updated last year
- Matroids in Lean☆18Updated last year
- Schemes in Lean (v2)☆43Updated 4 years ago
- HoTT in Lean 3☆78Updated 4 years ago
- ☆11Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional