3.3.1 • Published 3 years ago

lean-client-js-node v3.3.1

Weekly downloads
24
License
Apache-2.0
Repository
github
Last release
3 years ago

Javascript library to interface with the server mode of the Lean theorem prover.

This lean-client-js-node package contains the node.js version. It communicates with a locally installed version of Lean. See demo.ts for an example on how to use it.

@types/nodelean-client-js-core
@infinitebrahmanuniverse/nolb-lean@everything-registry/sub-chunk-2054@cocalc/projectsmc-projectlean-language-server@zalastax/nolb-lean
3.3.1

3 years ago

3.3.0

3 years ago

3.0.0

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.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.4

8 years ago

1.2.3

8 years ago

1.2.1

8 years ago

1.2.0

8 years ago

1.1.1

8 years ago

1.1.0

8 years ago

1.0.1

8 years ago