GitHub
lean-client-js-core
v1.2.8
Interface to the Lean server
Readme
Versions
Dependencies
Scripts
Dependencies (1)
@types/node
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 5/21/2017
Downloads
Downloads Tab Here
Maintainers
gebner