mariainesdff / ai_math_tcsLinks
An introduction to theorem proving in Lean for the impatient.
☆19Updated 7 months ago
Alternatives and similar repositories for ai_math_tcs
Users that are interested in ai_math_tcs are comparing it to the libraries listed below
Sorting:
- Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025☆41Updated 7 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Updated 6 years ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆195Updated this week
- Benchmark for undergraduate-level formal mathematics☆111Updated last year
- blueprint for prime number theorem and more☆204Updated this week
- A search engine for Lean 4 declarations☆42Updated last week
- Lean mathzoo☆25Updated 3 years ago
- A template for blueprint-driven formalization projects in Lean.☆76Updated last week
- plasTeX plugin to build formalization blueprints.☆259Updated 2 months ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆28Updated 2 months ago
- A static analysis tool for Lean 4.☆101Updated this week
- Fermat's Last Theorem for regular primes☆61Updated this week
- Catalog Of Math Problems Formalized In Lean☆211Updated last week
- The matrix cookbook, proved in the Lean theorem prover☆121Updated 2 months ago
- SorryDB indexes sorries in public lean repositories☆38Updated this week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆122Updated last year
- Neural theorem proving toolkit: data extraction tools for Lean 4☆33Updated this week
- 💧 Liquid Tensor Experiment☆211Updated last year
- Formalizing results about the Mandelbrot set in Lean☆27Updated last week
- ☆51Updated 9 months ago
- ProofNet dataset ported into Lean 4☆28Updated 5 months ago
- ☆93Updated 2 years ago
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆174Updated this week
- Lennard Jones in Lean☆19Updated 4 months ago
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆20Updated 3 weeks ago
- Tools based on AI for helping with Lean 4☆103Updated last week
- Conservative floating point interval arithmetic in Lean☆23Updated last week
- General neural tactic for Lean 4☆22Updated this week
- ☆62Updated this week
- Interactive neural theorem proving in Lean☆130Updated 3 years ago