lean-client-js-node
TypeScript icon, indicating that this package has built-in type declarations

3.3.1 • Public • Published

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

Readme

Keywords

none

Package Sidebar

Install

npm i lean-client-js-node

Weekly Downloads

68

Version

3.3.1

License

Apache-2.0

Unpacked Size

22.6 kB

Total Files

11

Last publish

Collaborators

  • gebner