google-deepmind / formal-conjecturesLinks
A collection of formalized statements of conjectures in Lean.
☆456Updated 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.☆362Updated this week
- An introduction to theorem proving in Lean for the impatient.☆198Updated 2 weeks ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆167Updated this week
- plasTeX plugin to build formalization blueprints.☆219Updated 3 weeks ago
- Catalog Of Math Problems Formalized In Lean☆160Updated last week
- Formalizing stochastic doubly-efficient debate☆105Updated 7 months ago
- White-box automation for Lean 4☆274Updated this week
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆100Updated last month
- blueprint for prime number theorem and more☆161Updated last week
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆124Updated this week
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆461Updated this week
- Exponent pair database☆53Updated last week
- A Machine-to-Machine Interaction System for Lean 4.☆87Updated this week
- Benchmark for undergraduate-level formal mathematics☆107Updated 7 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆128Updated last month
- Retrieval-Augmented Theorem Provers for Lean☆272Updated 4 months ago
- A project to digitalise results from physics into Lean.☆252Updated this week
- 💧 Liquid Tensor Experiment☆196Updated last year
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆64Updated 4 months ago
- LLMs + Lean, on your laptop or in the cloud☆155Updated last month
- Scientific computing in Lean 4☆400Updated last week
- The user home repository for the Mathematics in Lean tutorial.☆359Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆254Updated 5 months ago
- Formal to Formal Mathematics Benchmark☆363Updated last year
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆186Updated last week
- ☆57Updated 2 weeks ago
- Tool for data extraction and interacting with Lean programmatically.☆667Updated last week
- ☆186Updated 2 years ago
- Lean documentation authoring tool☆167Updated this week
- Server to host lean games.☆269Updated last week