lean-client-js-core
v2.0.0Javascript 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
.
npm i [email protected]
Metadata
- Apache-2.0
- Whatever
- Gabriel Ebner
- released 9/21/2020