GitHub
lean-client-js-node
v1.2.11
Interface to the Lean server
Readme
Versions
Dependencies
Scripts
Dependencies (2)
@types/node
lean-client-js-core
Dev dependencies (0)
No dev dependencies found for this package
npm i
[email protected]
Source Code
github.com/leanprover/le...
Homepage
github.com/leanprover/lean-c...
Metadata
Apache-2.0
Whatever
Gabriel Ebner
released 6/30/2017
Downloads
Downloads Tab Here
Maintainers
gebner