Rust Lean vs AXLE Lean Engine
Side-by-side comparison of two Ai projects on AiList.
Tagline
Bridges Lean 4's Language Server Protocol to AI assistants with 26 tools for proof assistance, code intelligence, and search.
Wraps the AXLE (Axiom Lean Engine) CLI for Lean 4 proof checking, repair, simplification, counterexample finding, and code transformation.
GitHub Stars
—
2
Stars This Week
—
—
Language
—
Python
License
—
—
Built With
—
—
Views
56
67
Clicks
4
6