lean-client-js-core

v3.3.1

Interface to the Lean server

Readme Versions Dependencies Scripts

Dependencies (1)

Dev dependencies (0)

No dev dependencies found for this package

npm i lean-client-js-core

Source Code

github.com/leanprover/le...

Homepage

github.com/leanprover/lean-c...

Metadata

Apache-2.0
Whatever
Gabriel Ebner
released 6/23/2022

Downloads

Maintainers