AXLE (Axiom Lean Engine) Tools for exploring, validating, and manipulating Lean mathematical proofs through an interactive console, API, and MCP integration.
Visit productCosigns Received
Be the first Cosign
Put your name behind AXLE (Axiom Lean Engine).
Add it to your Products I use list and share why you use it.