Lean formalization of bounded gaps between primes
☆48Aug 18, 2026Updated 2 months ago
Alternatives and similar repositories for PrimeGapsLib
Users that are interested in PrimeGapsLib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards☆38Updated this week
- Formalizing the Poincaré Conjecture in Lean 4☆13Updated this week
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated last month
- Proétale cohomology in Lean☆18Sep 29, 2026Updated last month
- A complete Lean 4 formalization of the Kakeya set problem over finite fields☆23Dec 16, 2025Updated 10 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆277Updated this week
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆50Updated this week
- Tools for writing good AI generated papers☆18Oct 24, 2026Updated 2 weeks ago
- ☆40Sep 27, 2026Updated last month
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆108Updated this week
- Lean formalization of the smooth and topological Poincare conjectures following Morgan and Tian.☆15Oct 5, 2026Updated last month
- Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory☆17Updated this week
- Still working on improving this!☆16Oct 16, 2026Updated 3 weeks ago
- A training codebase for Zeroth-Order Optimization☆14Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.☆74Apr 7, 2026Updated 7 months ago
- The ecosystem reshaping mathematics.☆12Apr 29, 2026Updated 6 months ago
- Comparator-based Lean formal mathematics eval☆50Nov 1, 2026Updated last week
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆17Nov 2, 2026Updated last week
- Formalisation of statements of recent theorems from the Annals of Mathematics.☆32Aug 13, 2026Updated 2 months ago
- Focused research repository on Grothendieck rank-p^2 finite flat group-scheme conjecture☆14Aug 4, 2026Updated 3 months ago
- ☆21Mar 4, 2026Updated 8 months ago
- ☆59Updated this week
- A collection of formalized statements of conjectures in Lean.☆1,356Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Power series arithmetic in Lean☆14Nov 22, 2025Updated 11 months ago
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- Fuse: a desktop workspace for Lean formalization with AI agents☆13Oct 19, 2026Updated 2 weeks ago
- ☆14Mar 23, 2026Updated 7 months ago
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆21Jun 27, 2026Updated 4 months ago
- Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.☆45Updated this week
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Jul 7, 2023Updated 3 years ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆246Updated this week
- Lean formalizations for the paper "Parity of k-differentials in genus zero and one"☆28Sep 11, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Automated Reasoning for the Working Mathematician☆11Aug 30, 2019Updated 7 years ago
- Mathlib search tool☆162Jul 9, 2026Updated 3 months ago
- A Lean formalization of the Stacks Project☆127Updated this week
- ☆23Sep 25, 2026Updated last month
- Running Aristotle from Harmonic on Putnam 2025 problems☆15Dec 10, 2025Updated 10 months ago
- A platform for formalizing OEIS sequences in Lean 4☆21Jun 10, 2026Updated 4 months ago
- A general geometry library in LEAN 4.☆83Oct 10, 2026Updated 3 weeks ago