b-mehta / combinatorics
☆21Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for combinatorics
- Plain-text declaration export for Lean 4☆11Updated 3 weeks ago
- HoTT in Lean 3☆75Updated 4 years ago
- ☆12Updated 2 years ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- Matroids in Lean☆19Updated 10 months ago
- Datatypes as quotients of polynomial functors☆34Updated 4 years ago
- Lean type-checker written in Scala.☆31Updated 2 years ago
- Leaff is a diff tool for Lean environments☆15Updated 2 months ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆40Updated this week
- Very controlled natural language tactics for Lean☆61Updated 9 months ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated 7 months ago
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- A development of homotopy theory in the Lean formal theorem prover.☆15Updated 4 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆31Updated last month
- A date and time library for Lean 4☆11Updated 6 months ago
- ☆10Updated 8 months ago
- Ground Zero: Lean 4 HoTT Library☆45Updated 3 weeks ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- ☆13Updated 3 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆45Updated last month
- ☆22Updated last week
- Lean4 port of Arduino balance car controller☆44Updated 3 years ago
- Library implementing type inference/checking functionality based on the Lean theorem prover☆38Updated 4 months ago
- A formal consistency proof of Quine's set theory New Foundations☆66Updated this week
- Template for Lean<->Rust FFI☆11Updated 8 months ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆57Updated 2 weeks ago
- Synthetic geometry. Probably mostly algebraic geometry.☆23Updated 9 months ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Updated 2 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆38Updated 2 years ago