[Language Server Protocol](https://github.com/Microsoft/language-server-protocol) implementation for the [Lean theorem prover](https://leanprover.github.io/), version 3.
(Lean 4 has a built-in LSP server.)

If you use VS Code, please install our [extension](https://marketplace.visualstudio.com/items?itemName=jroesch.lean) instead.