3.3.1 • Published 2 years ago

lean-client-js-core v3.3.1

Weekly downloads
32
License
Apache-2.0
Repository
github
Last release
2 years ago

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

This lean-client-js-core package contains the command definitions that are used in both browser and node.js versions. Depending on your platform, you should require either lean-client-js-node or lean-client-js-browser.

@types/node
@infinitebrahmanuniverse/nolb-lean@everything-registry/sub-chunk-2054lean-client-js-browserlean-client-js-nodelean-language-server@raitobezarius/lean-client-js-browser@aneilmac/lean-client-js-browser@zalastax/nolb-lean@bryangingechen/lean-client-js-browser
3.3.1

2 years ago

3.3.0

2 years ago

3.0.0

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

7 years ago

1.2.0

7 years ago

1.1.1

7 years ago

1.1.0

7 years ago

1.0.1

7 years ago