AlexKontorovich / PrimeNumberTheoremAnd
blueprint for prime number theorem and more
☆136Updated last week
Related projects ⓘ
Alternatives and complementary repositories for PrimeNumberTheoremAnd
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆138Updated this week
- plasTeX plugin to build formalization blueprints.☆170Updated this week
- Scientific computing in Lean 4☆328Updated this week
- Catalog Of Math Problems Formalized In Lean☆113Updated this week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆127Updated 3 months ago
- White-box automation for Lean 4☆211Updated this week
- ☆85Updated last year
- A project to map out the relations between different equational theories of Magmas.☆229Updated this week
- Benchmark for undergraduate-level formal mathematics☆94Updated last month
- 💧 Liquid Tensor Experiment☆181Updated 10 months ago
- An introduction to theorem proving in Lean for the impatient.☆112Updated last week
- Theorem Proving in Lean 4☆164Updated last month
- The user home repository for the Mathematics in Lean tutorial.☆270Updated last week
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆76Updated 5 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆206Updated 2 weeks ago
- Interactive neural theorem proving in Lean☆118Updated 2 years ago
- Source code for the Mathematics in Lean tutorial.☆92Updated last week
- Formalizing stochastic doubly-efficient debate☆93Updated last month
- A simple REPL for Lean 4, returning information about errors and sorries.☆81Updated 3 weeks ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆256Updated this week
- A static analysis tool for Lean 4.☆51Updated this week
- Server to host lean games.☆196Updated 2 weeks ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆40Updated this week
- Python talking to the Lean theorem prover☆41Updated 3 years ago
- The matrix cookbook, proved in the Lean theorem prover☆84Updated this week
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆63Updated this week
- A project to digitalise results from high energy physics into Lean.☆76Updated this week
- Lean mathzoo☆24Updated 2 years ago
- The "batteries included" extended library for the Lean programming language and theorem prover☆251Updated this week
- Retrieval-Augmented Theorem Provers for Lean☆229Updated 2 months ago