AxiomProver

Axiom Math’s research system for developing mathematical results with formal Lean proofs.

• Developer / Organization: Axiom Math
• Category: Related research systems & hosted services
• Purpose: Develop research mathematics with formal Lean proofs.
• Key features: Generates formal Lean proofs for mathematical research. The official site presents research and formalizations; it is not an open-source release of the prover.
• Availability: Axiom Math research system; no public source release identified
• License: Not verified in the linked source (source (opens in a new tab))
• Website / Source code: https://axiommath.ai/ (opens in a new tab)
• Version: No public software version found in the linked source
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01