Lean Info vs Rust Lean
Side-by-side comparison of two Ai projects on AiList.
Tagline
Bridges Lean 4 proof assistant InfoView data to external tools for real-time goal states, diagnostics, and proof context.
Bridges Lean 4's Language Server Protocol to AI assistants with 26 tools for proof assistance, code intelligence, and search.
GitHub Stars
—
—
Stars This Week
—
—
Language
—
—
License
—
—
Built With
—
—
Views
52
56
Clicks
5
4