Open source alternatives to lean4-lean-lsp
No open source apps like lean4-lean-lsp yet.
About lean4-lean-lsp
L
lean4-lean-lsp
Lean 4 language server via the lean binary
Lean 4 language server via the lean binary — for standalone .lean files outside Lake projects. Replaces the inefficient CLI-based workflow with native LSP
- Price
- Free
- Made by
- Piebald-AI
- Category
- AI Skills
- Website
- github.com/piebald-ai/claude-code-lsps/lean4-lean-lsp