teorth / expdbLinks
Exponent pair database
☆62Updated this week
Alternatives and similar repositories for expdb
Users that are interested in expdb are comparing it to the libraries listed below
Sorting:
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆189Updated last week
- blueprint for prime number theorem and more☆195Updated last week
- A formalized proof of Carleson's theorem in Lean☆74Updated this week
- An introduction to theorem proving in Lean for the impatient.☆275Updated last month
- Catalog Of Math Problems Formalized In Lean☆200Updated last week
- ☆93Updated last year
- Source code for the Mathematics in Lean tutorial.☆174Updated 2 months ago
- A project to map out the relations between different equational theories of Magmas.☆436Updated this week
- SorryDB indexes sorries in public lean repositories☆37Updated this week
- Fermat's Last Theorem for regular primes☆61Updated last week
- A template for blueprint-driven formalization projects in Lean.☆75Updated last month
- 💧 Liquid Tensor Experiment☆208Updated last year
- plasTeX plugin to build formalization blueprints.☆248Updated last month
- A community database for the problems on the erdosproblems.com site☆98Updated this week
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆81Updated this week
- ☆81Updated 4 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆163Updated last week
- The Lean 4 web editor☆113Updated last month
- Visual Studio Code extension for the Lean 4 proof assistant☆235Updated this week
- The standard template to create a lean game☆29Updated last month
- Python talking to the Lean theorem prover☆46Updated 4 years ago
- The matrix cookbook, proved in the Lean theorem prover☆121Updated last month
- Benchmark for undergraduate-level formal mathematics☆110Updated last year
- ☆72Updated 4 months ago
- Natural language tactics to teach mathematics using Lean 4☆93Updated last week
- Formalizing results about the Mandelbrot set in Lean☆26Updated this week
- A "code intepreter" for Lean☆70Updated last month
- Tactics for discharging Lean goals into SMT solvers.☆233Updated 2 weeks ago
- White-box automation for Lean 4☆307Updated this week
- Experiments on automation for Lean☆142Updated this week