☆25May 23, 2022Updated 3 years ago
Alternatives and similar repositories for combinatorics
Users that are interested in combinatorics are comparing it to the libraries listed below
Sorting:
- Matroids in Lean☆18Dec 23, 2023Updated 2 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Jul 7, 2023Updated 2 years ago
- ☆12Feb 18, 2024Updated 2 years ago
- Learn Lean and topology☆26Apr 28, 2023Updated 2 years ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆74Feb 18, 2026Updated last week
- ☆26Nov 1, 2021Updated 4 years ago
- Formalizing results about the Mandelbrot set in Lean☆29Dec 31, 2025Updated 2 months ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- The tools for proper interactions between ApproxFun.jl and DifferentialEquations.jl for pseudospectiral partial differential equation dis…☆14Nov 30, 2020Updated 5 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- A formalization of the Rubik's cube group☆28Oct 1, 2020Updated 5 years ago
- sorear's Metamath system engine☆13May 5, 2016Updated 9 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Jul 1, 2021Updated 4 years ago
- https://1000-plus.github.io/☆22Feb 11, 2026Updated 2 weeks ago
- A Lean file formatter☆71Feb 3, 2023Updated 3 years ago
- ☆15Apr 12, 2023Updated 2 years ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Aug 27, 2022Updated 3 years ago
- A formal proof of the independence of the continuum hypothesis☆142Aug 26, 2024Updated last year
- ☆15Oct 21, 2020Updated 5 years ago
- Very controlled natural language tactics for Lean☆66Jan 25, 2024Updated 2 years ago
- Lean type-checker written in Scala.☆41Mar 13, 2022Updated 3 years ago
- ☆38May 31, 2023Updated 2 years ago
- Plain-text declaration export for Lean 4☆26Updated this week
- Native Jupyter kernel for GAP☆21Nov 25, 2025Updated 3 months ago
- ☆27Sep 8, 2023Updated 2 years ago
- Combinatorial game library in Lean 4☆56Updated this week
- Python talking to the Lean theorem prover☆46Aug 25, 2021Updated 4 years ago
- ☆16Dec 9, 2020Updated 5 years ago
- Continuous benchmarking☆19Jan 23, 2026Updated last month
- M4 algebraic geometry course in Lean☆58Mar 4, 2020Updated 5 years ago
- ☆25Apr 21, 2021Updated 4 years ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 2 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆55Oct 25, 2023Updated 2 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆128Jul 9, 2024Updated last year
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Oct 22, 2023Updated 2 years ago
- Interactive neural theorem proving in Lean☆133Mar 24, 2022Updated 3 years ago
- ☆22Jan 14, 2026Updated last month