google-deepmind / formal-conjecturesLinks
A collection of formalized statements of conjectures in Lean.
☆652Updated this week
Alternatives and similar repositories for formal-conjectures
Users that are interested in formal-conjectures are comparing it to the libraries listed below
Sorting:
- A project to map out the relations between different equational theories of Magmas.☆436Updated this week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆191Updated 2 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆280Updated last month
- Catalog Of Math Problems Formalized In Lean☆201Updated this week
- plasTeX plugin to build formalization blueprints.☆248Updated last month
- blueprint for prime number theorem and more☆198Updated this week
- A simple REPL for Lean 4, returning information about errors and sorries.☆165Updated last week
- White-box automation for Lean 4☆307Updated this week
- ☆251Updated last month
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆167Updated last week
- A Machine-to-Machine Interaction System for Lean 4.☆116Updated last month
- ☆81Updated 4 months ago
- The user home repository for the Mathematics in Lean tutorial.☆423Updated 2 months ago
- A project to digitalise results from physics into Lean.☆367Updated last week
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆723Updated last week
- Tool for data extraction and interacting with Lean programmatically.☆712Updated last month
- Visual Studio Code extension for the Lean 4 proof assistant☆234Updated this week
- SorryDB indexes sorries in public lean repositories☆37Updated this week
- Retrieval-Augmented Theorem Provers for Lean☆298Updated 9 months ago
- Scientific computing in Lean 4☆433Updated 4 months ago
- Formal to Formal Mathematics Benchmark☆397Updated 2 years ago
- Server to host lean games.☆330Updated last week
- 💧 Liquid Tensor Experiment☆208Updated last year
- Exponent pair database☆62Updated last week
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆111Updated 5 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆71Updated 9 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆308Updated 10 months ago
- Kimina Lean server (+ client SDK)☆126Updated 2 weeks ago
- Benchmark for undergraduate-level formal mathematics☆110Updated last year
- The Lean version manager☆436Updated 3 weeks ago