lean-client-js-core

v1.2.11

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 6/30/2017

Downloads

Maintainers