3.4.0 • Published 3 years ago

lean-language-server v3.4.0

Weekly downloads
9
License
Apache-2.0
Repository
github
Last release
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.

@types/nodelean-client-js-corelean-client-js-nodevscode-languageservervscode-languageserver-textdocumentvscode-uri
@infinitebrahmanuniverse/nolb-lean@everything-registry/sub-chunk-2054@zalastax/nolb-lean
3.4.0

3 years ago

3.3.1

3 years ago

3.3.0

3 years ago

3.2.0

3 years ago

3.1.1

4 years ago

3.1.0

4 years ago

3.0.0

4 years ago

2.0.3

4 years ago

2.0.2

4 years ago

2.0.4

4 years ago

2.0.1

5 years ago

2.0.0

5 years ago

1.5.0

5 years ago

1.4.0

5 years ago

1.3.2

5 years ago

1.3.1

5 years ago

1.3.0

5 years ago

1.2.13

5 years ago

1.2.12

7 years ago

1.2.11

8 years ago

1.2.10

8 years ago

1.2.9

8 years ago

1.2.8

8 years ago

1.2.7

8 years ago

1.2.6

8 years ago

1.2.5

8 years ago

1.2.4

8 years ago