Blueprint for the PNT+ Project
☆281Mar 19, 2026Updated this week
Alternatives and similar repositories for PrimeNumberTheoremAnd
Users that are interested in PrimeNumberTheoremAnd are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- A formalized proof of Carleson's theorem in Lean☆87Mar 18, 2026Updated last week
- Formalizing stochastic doubly-efficient debate☆118Oct 8, 2024Updated last year
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆836Updated this week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆211Mar 11, 2026Updated 2 weeks ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Catalog Of Math Problems Formalized In Lean☆238Updated this week
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36Feb 21, 2026Updated last month
- A template for blueprint-driven formalization projects in Lean.☆103Mar 18, 2026Updated last week
- Tools based on AI for helping with Lean 4☆115Updated this week
- Scientific computing in Lean 4☆476Feb 18, 2026Updated last month
- White-box automation for Lean 4☆345Updated this week
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated 3 months ago
- A project to map out the relations between different equational theories of Magmas.☆503Mar 10, 2026Updated 2 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆344Feb 12, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Benchmark for undergraduate-level formal mathematics☆117Oct 14, 2024Updated last year
- The Lean reference manual☆104Updated this week
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆92Updated this week
- Source code for the Mathematics in Lean tutorial.☆185Aug 20, 2025Updated 7 months ago
- The math library of Lean 4☆3,032Updated this week
- tool for turning Lean proofs into Blender animations☆84Dec 28, 2025Updated 2 months ago
- ☆96Nov 12, 2023Updated 2 years ago
- Tactics for discharging Lean goals into SMT solvers.☆269Updated this week
- Experiments on automation for Lean☆164Feb 19, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆105Mar 2, 2026Updated 3 weeks ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆42Feb 27, 2026Updated 3 weeks ago
- Exponent pair database☆73Feb 2, 2026Updated last month
- Lean documentation authoring tool☆270Updated this week
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated 9 months ago
- The matrix cookbook, proved in the Lean theorem prover☆127Sep 16, 2025Updated 6 months ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆192Mar 9, 2026Updated 2 weeks ago
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 8 months ago
- Formalizing "Proofs from THE BOOK"☆83Mar 18, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆46Feb 23, 2026Updated last month
- ☆308Sep 11, 2025Updated 6 months ago
- Retrieval-Augmented Theorem Provers for Lean☆317Jan 30, 2025Updated last year
- The "batteries included" extended library for the Lean programming language and theorem prover☆369Updated this week
- A collection of formalized statements of conjectures in Lean.☆889Updated this week
- Document Generator for Lean 4☆139Updated this week
- Tool for data extraction and interacting with Lean programmatically.☆782Jan 18, 2026Updated 2 months ago