lean-client-js-node

v1.2.7

Interface to the Lean server

Readme Versions Dependencies Scripts

compile

tsc -w -p ./

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

Maintainers