GitHub
lean-client-js-core
v2.0.1
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 11/3/2020
Downloads
Downloads Tab Here
Maintainers
gebner