3.4.0 • Published 2 years ago

lean-language-server v3.4.0

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

2 years ago

3.3.1

2 years ago

3.3.0

2 years ago

3.2.0

2 years ago

3.1.1

3 years ago

3.1.0

3 years ago

3.0.0

3 years ago

2.0.3

3 years ago

2.0.2

3 years ago

2.0.4

3 years ago

2.0.1

4 years ago

2.0.0

4 years ago

1.5.0

4 years ago

1.4.0

4 years ago

1.3.2

4 years ago

1.3.1

4 years ago

1.3.0

4 years ago

1.2.13

4 years ago

1.2.12

6 years ago

1.2.11

7 years ago

1.2.10

7 years ago

1.2.9

7 years ago

1.2.8

7 years ago

1.2.7

7 years ago

1.2.6

7 years ago

1.2.5

7 years ago

1.2.4

7 years ago