lean-client-js-core

v2.0.1

Interface to the Lean server

Readme Versions Dependencies Scripts

compile

tsc -w -p ./

build

tsc -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 11/3/2020

Downloads

Maintainers