teorth / equational_theories
A project to map out the relations between different equational theories of Magmas.
☆305Updated this week
Alternatives and similar repositories for equational_theories:
Users that are interested in equational_theories are comparing it to the libraries listed below
- White-box automation for Lean 4☆245Updated this week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆145Updated last week
- Scientific computing in Lean 4☆374Updated this week
- Catalog Of Math Problems Formalized In Lean☆139Updated this week
- The "batteries included" extended library for the Lean programming language and theorem prover☆288Updated this week
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆390Updated this week
- plasTeX plugin to build formalization blueprints.☆187Updated 2 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆146Updated last week
- Visual Studio Code extension for the Lean 4 proof assistant☆196Updated this week
- Benchmark for undergraduate-level formal mathematics☆103Updated 5 months ago
- Server to host lean games.☆243Updated this week
- blueprint for prime number theorem and more☆154Updated this week
- The user home repository for the Mathematics in Lean tutorial.☆307Updated last week
- Theorem Proving in Lean 4☆173Updated 5 months ago
- Tool for data extraction and interacting with Lean programmatically.☆623Updated this week
- 💧 Liquid Tensor Experiment☆189Updated last year
- Exponent pair database☆42Updated this week
- Metamath source file for logic and set theory☆272Updated this week
- Helper toolkit for creating your own Lean 4 UserWidgets☆127Updated last week
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆87Updated 9 months ago
- ☆190Updated this week
- The matrix cookbook, proved in the Lean theorem prover☆100Updated 3 months ago
- Interactive neural theorem proving in Lean☆118Updated 2 years ago
- Retrieval-Augmented Theorem Provers for Lean☆258Updated last month
- Natural language tactics to teach mathematics using Lean 4☆65Updated this week
- Lean theorem proving interface which feels like pen-and-paper proofs.☆399Updated 3 weeks ago
- ☆238Updated last week
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆91Updated this week
- Formalizing stochastic doubly-efficient debate☆99Updated 5 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆106Updated last week