3.3.1 • Published 3 years ago

lean-client-js-core v3.3.1

Weekly downloads
32
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-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@zalastax/nolb-lean@bryangingechen/lean-client-js-browser@raitobezarius/lean-client-js-browser@aneilmac/lean-client-js-browser
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

6 years ago

1.3.1

6 years ago

1.3.0

6 years ago

1.2.12

8 years ago

1.2.11

8 years ago

1.2.10

8 years ago

1.2.9

8 years ago

1.2.8

9 years ago

1.2.7

9 years ago

1.2.6

9 years ago

1.2.4

9 years ago

1.2.0

9 years ago

1.1.1

9 years ago

1.1.0

9 years ago

1.0.1

9 years ago