☆197Apr 24, 2026Updated 6 months ago
Alternatives and similar repositories for axplorer
Users that are interested in axplorer 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 evaluation and metaprogramming utilities for provers.☆181Oct 14, 2026Updated 3 weeks ago
- Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"☆47Sep 11, 2026Updated last month
- Lean formalizations for the paper "On the paucity of lattice triangles"☆18Sep 11, 2026Updated last month
- MCP Server for AI agents to interact with our Lean infrastructure☆37Sep 16, 2026Updated last month
- A complete Lean 4 formalization of the Kakeya set problem over finite fields☆23Dec 16, 2025Updated 10 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.
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆108Updated this week
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- Our solutions to Putnam 2025.☆115Jan 9, 2026Updated 9 months ago
- Agent skills for writing research mathematics in LaTeX and building audited visual companion websites for papers.☆45Oct 24, 2026Updated last week
- Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)☆29Updated this week
- MathEconLib Lean4 project☆45Updated this week
- Monomial ordered polynomial implementation in Lean4☆11Oct 2, 2026Updated last month
- Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards☆37Updated this week
- ☆21Mar 4, 2026Updated 8 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.
- Structured data extraction and programmatic interaction with Lean 4.☆20May 7, 2026Updated 5 months ago
- ☆288Jul 8, 2026Updated 3 months ago
- Research code base for Automatic Textbook Formalization☆162Mar 31, 2026Updated 7 months ago
- ☆809Oct 20, 2026Updated 2 weeks ago
- UlamAI is an open-source Lean theorem prover and formalizer.☆162Aug 9, 2026Updated 2 months ago
- ☆23Sep 25, 2026Updated last month
- Tools based on AI for helping with Lean 4☆125Aug 3, 2026Updated 3 months ago
- HOA (Humanfia Olympiad Agents): PutnamBench and olympiad problems (IMO, IOI, IPhO, IChO, IBO) solved by agents, checked in Lean 4 where p…☆19Oct 19, 2026Updated 2 weeks ago
- OpenConjecture, a dataset of mathematics conjectures pulled from papers published to the ArXiv☆19Jul 12, 2026Updated 3 months ago
- 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.
- ☆41Oct 16, 2024Updated 2 years ago
- Lean formalization of bounded gaps between primes☆48Aug 18, 2026Updated 2 months ago
- Still working on improving this!☆16Oct 16, 2026Updated 3 weeks ago
- Tool to analyse the import structure of lean projects.☆29Oct 27, 2026Updated last week
- ☆1,275Apr 5, 2026Updated 7 months ago
- LEAN4 AUTO YOUTUBE LIVING☆72Aug 28, 2026Updated 2 months ago
- Exceptions to the ABC conjecture in Lean☆19Jan 26, 2026Updated 9 months ago
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆21Jun 27, 2026Updated 4 months ago
- A project to map out the relations between different equational theories of Magmas.☆565Updated 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.
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆92Jul 13, 2026Updated 3 months ago
- A collection of formalized statements of conjectures in Lean.☆1,350Updated this week
- plasTeX plugin to build formalization blueprints.☆399Dec 23, 2025Updated 10 months ago
- How to say it using Mathlib.☆21Oct 29, 2026Updated last week
- A template for blueprint-driven formalization projects in Lean.☆119Oct 19, 2026Updated 2 weeks ago
- Running Aristotle from Harmonic on Putnam 2025 problems☆15Dec 10, 2025Updated 10 months ago
- ☆145Updated this week