AXLE Lean Engine vs Lean Info
Side-by-side comparison of two Ai projects on AiList.
Tagline
Wraps the AXLE (Axiom Lean Engine) CLI for Lean 4 proof checking, repair, simplification, counterexample finding, and code transformation.
Bridges Lean 4 proof assistant InfoView data to external tools for real-time goal states, diagnostics, and proof context.
GitHub Stars
2
—
Stars This Week
—
—
Language
Python
—
License
—
—
Built With
—
—
Views
67
52
Clicks
6
5