☆35Sep 2, 2026Updated 2 months ago
Alternatives and similar repositories for ZetaZeros
Users that are interested in ZetaZeros are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Mar 25, 2026Updated 7 months ago
- Tools for writing good AI generated papers☆18Oct 24, 2026Updated 2 weeks ago
- Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.☆14Jan 14, 2025Updated last year
- Conditional Lean formalization and numerical certificate for prime gaps at most 186.☆170Sep 2, 2026Updated 2 months ago
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆21Jun 27, 2026Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Still working on improving this!☆16Oct 16, 2026Updated 3 weeks ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Jun 7, 2021Updated 5 years ago
- publish-paper staged copy☆27Oct 26, 2026Updated last week
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 5 months ago
- Formalisation of statements of recent theorems from the Annals of Mathematics.☆32Aug 13, 2026Updated 2 months ago
- ☆21May 5, 2026Updated 6 months ago
- ☆104Jul 17, 2026Updated 3 months ago
- OpenClaw-style theorem proving☆29Aug 21, 2026Updated 2 months ago
- Lean formalization of bounded gaps between primes☆48Aug 18, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Repository for score-based transport modeling.☆11Jul 22, 2023Updated 3 years ago
- AI for Mathematics Paper List☆18Jan 14, 2025Updated last year
- Things 3 Plugin for Logseq☆12Feb 20, 2022Updated 4 years ago
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- Lean formalization of the smooth and topological Poincare conjectures following Morgan and Tian.☆14Oct 5, 2026Updated last month
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Jul 7, 2023Updated 3 years ago
- SHAP-Based Interpretable Object Detection Method for Satellite Imagery☆14Jul 29, 2022Updated 4 years ago
- Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics☆14Jan 16, 2022Updated 4 years ago
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆23Updated this week
- 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.
- ☆12Jun 30, 2022Updated 4 years ago
- Documenting common pitfalls and footguns in Lean☆37Aug 26, 2025Updated last year
- ☆11Oct 2, 2026Updated last month
- Running Aristotle from Harmonic on Putnam 2025 problems☆15Dec 10, 2025Updated 10 months ago
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆78Updated this week
- Matroids in Lean☆19Dec 23, 2023Updated 2 years ago
- Collection of virtual quantum devices☆15Feb 3, 2026Updated 9 months ago
- ☆19Oct 28, 2026Updated last week
- Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards☆38Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Semantic Search Over 9 million Mathematical Theorems☆26Oct 3, 2026Updated last month
- 🌊 D-Wave Quantum Annealing Interface for JuMP☆13Updated this week
- Exceptions to the ABC conjecture in Lean☆19Jan 26, 2026Updated 9 months ago
- Monomial ordered polynomial implementation in Lean4☆11Oct 2, 2026Updated last month
- Left-Right syndrome extraction circuit constructor for CSS codes☆13Mar 23, 2026Updated 7 months ago
- Distributed, objective-led control plane for Lean 4 formalization projects.☆37Oct 9, 2026Updated 3 weeks ago
- Mozi Lean Copilot VS Code Extension☆11Jan 7, 2026Updated 10 months ago