GitHub
lean-client-js-core
v1.3.0
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 6/8/2020
Downloads
Downloads Tab Here
Maintainers
gebner