Open source alternatives to lean4-lake-lsp
No open source apps like lean4-lake-lsp yet.
About lean4-lake-lsp
L
lean4-lake-lsp
Lean 4 language server via Lake
Lean 4 language server via Lake — for Lake projects with dependencies (e.g., Mathlib). Replaces the inefficient CLI-based lake build workflow with native
- Price
- Free
- Made by
- Piebald-AI
- Category
- AI Skills
- Website
- github.com/piebald-ai/claude-code-lsps/lean4-lake-lsp