AXLE Lean Engine
Wraps the AXLE (Axiom Lean Engine) CLI for Lean 4 proof checking, repair, simplification, counterexample finding, and code transformation.
0Tools
6Findings
2Stars
Mar 22, 2026Last Scanned
Security Category Deep Dive
Select a category to explore sub-categories, findings, and compliance coverage.