lean-dojo / LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
☆1,064Updated 3 weeks ago
Alternatives and similar repositories for LeanCopilot:
Users that are interested in LeanCopilot are comparing it to the libraries listed below
- Tool for data extraction and interacting with Lean programmatically.☆633Updated 3 weeks ago
- Retrieval-Augmented Theorem Provers for Lean☆262Updated 2 months ago
- ChatGPT plugin for theorem proving in Lean☆116Updated 11 months ago
- A project to map out the relations between different equational theories of Magmas.☆312Updated this week
- Formal to Formal Mathematics Benchmark☆342Updated last year
- The math library of Lean 4☆1,829Updated this week
- The user home repository for the Mathematics in Lean tutorial.☆322Updated 3 weeks ago
- Server to host lean games.☆248Updated last week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆150Updated 2 weeks ago
- The Lean version manager☆355Updated last week
- blueprint for prime number theorem and more☆155Updated 3 weeks ago
- Lean theorem proving interface which feels like pen-and-paper proofs.☆403Updated last month
- ☆182Updated 2 years ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆399Updated last week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆234Updated 3 months ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆204Updated last week
- ☆164Updated last month
- Tutorial on neural theorem proving☆168Updated last year
- plasTeX plugin to build formalization blueprints.☆193Updated last month
- LLMs + Lean, on your laptop or in the cloud☆139Updated 5 months ago
- llmstep: [L]LM proofstep suggestions in Lean 4.☆129Updated last year
- White-box automation for Lean 4☆249Updated this week
- Benchmark for undergraduate-level formal mathematics☆104Updated 5 months ago
- The "batteries included" extended library for the Lean programming language and theorem prover☆289Updated this week
- Scientific computing in Lean 4☆380Updated this week
- An introduction to theorem proving in Lean for the impatient.☆155Updated 3 weeks ago
- Catalog Of Math Problems Formalized In Lean☆145Updated this week
- AI for Mathematics (AI4Math) paper list☆152Updated 6 months ago
- Theorem Proving in Lean 4☆176Updated 5 months ago
- 💧 Liquid Tensor Experiment☆188Updated last year