lean-client-js-node
v3.3.1Javascript 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.
npm i lean-client-js-node
Metadata
- Apache-2.0
- Whatever
- Gabriel Ebner
- released 6/23/2022