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.
lean-language-server
3.4.0 • Public • Published /lean-language-server/
Package Sidebar
Install
npm i lean-language-server
Repository
Weekly Downloads
49
Version
3.4.0
License
Apache-2.0
Unpacked Size
42.7 kB
Total Files
7