b-mehta / combinatorics
☆21Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for combinatorics
- Plain-text declaration export for Lean 4☆12Updated last month
- Schemes in Lean (v2)☆42Updated 4 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆32Updated 2 months ago
- Very controlled natural language tactics for Lean☆61Updated 9 months ago
- HoTT in Lean 3☆75Updated 4 years ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆19Updated last week
- The formal proof of the Odd Order Theorem☆26Updated 3 weeks ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆40Updated this week
- Lean type-checker written in Scala.☆31Updated 2 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated 8 months ago
- A development of homotopy theory in the Lean formal theorem prover.☆15Updated 4 years ago
- A date and time library for Lean 4☆11Updated 7 months ago
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- Synthetic geometry. Probably mostly algebraic geometry.☆23Updated 10 months ago
- ☆22Updated 3 weeks ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆45Updated last month
- Datatypes as quotients of polynomial functors☆35Updated 4 years ago
- Matroids in Lean☆18Updated 11 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 4 years ago
- ☆12Updated 2 years ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆59Updated last week
- A type theory with native support for Polynomial Functors.☆38Updated last year
- Ground Zero: Lean 4 HoTT Library☆45Updated last month
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆60Updated last month
- A formal consistency proof of Quine's set theory New Foundations☆66Updated this week
- ☆28Updated last year
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆13Updated last week
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Category Theory & Cobordism Categories in Lean 4☆14Updated 4 months ago
- ☆25Updated this week