AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities
DGX agentarXiv:2606.26442v1 Announce Type: cross Abstract: We present AXLE (Axiom Lean Engine), a cloud service for Lean 4 proof manipulation, extraction, and verification. Recent progress in AI for mathematic