teorth / expdbLinks
Exponent pair database
☆57Updated 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)☆175Updated 2 weeks ago
- A formalized proof of Carleson's theorem in Lean☆58Updated this week
- blueprint for prime number theorem and more☆169Updated this week
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆65Updated this week
- ☆91Updated last year
- An introduction to theorem proving in Lean for the impatient.☆210Updated last month
- Document Generator for Lean 4☆97Updated 2 weeks ago
- White-box automation for Lean 4☆275Updated this week
- Template for blueprint-driven formalization projects in Lean.☆57Updated this week
- Catalog Of Math Problems Formalized In Lean☆166Updated this week
- Natural language tactics to teach mathematics using Lean 4☆79Updated last month
- ☆81Updated last week
- The matrix cookbook, proved in the Lean theorem prover☆110Updated 3 weeks ago
- plasTeX plugin to build formalization blueprints.☆220Updated last month
- Python talking to the Lean theorem prover☆44Updated 3 years ago
- Tactics for discharging Lean goals into SMT solvers.☆194Updated last month
- Experiments in automation for Lean☆115Updated this week
- Source code for the Mathematics in Lean tutorial.☆153Updated this week
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆59Updated 2 weeks ago
- Lean documentation authoring tool☆179Updated this week
- 💧 Liquid Tensor Experiment☆199Updated last year
- Helper toolkit for creating your own Lean 4 UserWidgets☆144Updated 2 weeks ago
- The Lean 4 web editor☆93Updated this week
- Formalization of the existence of sphere eversions☆43Updated 2 weeks ago
- Formalizing "Proofs from THE BOOK"☆61Updated 6 months ago
- Fermat's Last Theorem for regular primes☆61Updated this week
- Overview of tactics in Lean 4 for beginners — longer version☆82Updated 9 months ago
- The standard template to create a lean game☆24Updated 3 months ago
- A formal consistency proof of Quine's set theory New Foundations☆72Updated this week
- tool for turning Lean proofs into Blender animations☆72Updated last month