lean-client-js-core

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.