@blocksuite/block-std - npm

❤

npm

lean-language-server

3.4.0 • Public • Published 3 years ago

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.

Readme

Keywords

none

Package Sidebar

Install

npm i lean-language-server

Repository

github.com/leanprover/lean-client-js

Homepage

github.com/leanprover/lean-client-js#readme

Weekly Downloads

174

Version

3.4.0

License

Apache-2.0

Unpacked Size

42.7 kB

Total Files

7

Last publish

3 years ago

Collaborators

Try on RunKit

Report malware