AXLE (Axiom Lean Engine)

Axiom Math’s hosted Lean engine for verifying and manipulating formal proofs.

• Developer / Organization: Axiom Math
• Category: Related research systems & hosted services
• Purpose: Provide reusable Lean verification infrastructure for reasoning systems.
• Key features: Axiom’s Lean verification and proof-manipulation service for building reasoning workflows.
• Availability: Official project or research page; access varies
• License: Not verified in the linked source (source (opens in a new tab))
• Website / Source code: https://axle.axiommath.ai/ (opens in a new tab)
• Version: API: v1; hosted engine build not disclosed
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01