lean-language-server
v3.4.0
Published
Language Server Protocol server for Lean 3
Downloads
225
Readme
Language Server Protocol implementation for the Lean theorem prover, version 3. (Lean 4 has a built-in LSP server.)
If you use VS Code, please install our extension instead.