Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.
☆322Jul 21, 2026Updated 3 months ago
Alternatives and similar repositories for alphaproof-nexus-results
Users that are interested in alphaproof-nexus-results are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean formalization of bounded gaps between primes☆45Aug 18, 2026Updated 2 months ago
- A collection of formalized statements of conjectures in Lean.☆1,340Updated this week
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆21Jun 27, 2026Updated 4 months ago
- A formalization of the resolution of the Hopf problem: the six-sphere admits a complex manifold structure compatible with its standard to…☆87Aug 30, 2026Updated 2 months ago
- ☆194Aug 27, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Lean 4 theorem proving skill and workflow pack for AI coding agents☆475Updated this week
- Formalisation of statements of recent theorems from the Annals of Mathematics.☆31Aug 13, 2026Updated 2 months ago
- Some Lean proofs☆48Sep 15, 2026Updated last month
- Project to verify the Guy-Selfridge conjectures☆31Jun 24, 2026Updated 4 months ago
- ☆23Sep 25, 2026Updated last month
- In this repository, the LANA Project has published its July 2026 report “Project LANA Interim Report on IUT Theory.”☆19Jul 20, 2026Updated 3 months ago
- Comparator-based Lean formal mathematics eval☆49Updated this week
- ☆239Jul 11, 2026Updated 3 months ago
- ☆31Jul 16, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ATLAS Autoformalized Textbook Library At Scale☆323Updated this week
- A fork of openai/miniF2F adapted to Lean 4, with corrections to formalizations and informal descriptions. for human readers.☆15Apr 23, 2026Updated 6 months ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- ☆247Oct 14, 2026Updated 2 weeks ago
- The math library of Lean 4☆4,391Updated this week
- SorryDB indexes sorries in public lean repositories☆57Sep 8, 2026Updated last month
- Autoform Bot☆126Updated this week
- Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"☆47Sep 11, 2026Updated last month
- ☆16Mar 2, 2026Updated 7 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆256Updated this week
- ☆18Updated this week
- Automatic textbook formalization of Grinberg Algebraic Combinatorics☆18Jul 28, 2026Updated 3 months ago
- A project to map out the relations between different equational theories of Magmas.☆562Updated this week
- Our solutions to Putnam 2025.☆113Jan 9, 2026Updated 9 months ago
- ☆16May 28, 2026Updated 5 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆1,054Oct 24, 2026Updated last week
- ☆282Jul 8, 2026Updated 3 months ago
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 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.
- ☆104Jul 17, 2026Updated 3 months ago
- Formalization of IMO shortlist problems in Lean 4☆27Oct 14, 2026Updated 2 weeks ago
- ☆807Oct 20, 2026Updated last week
- ☆136Jul 9, 2026Updated 3 months ago
- 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
- ☆21Mar 11, 2026Updated 7 months ago
- LeanArchitect extracts a blueprint directly from Lean source.☆94Updated this week