GitHub
lean-client-js-node
v3.3.1
Interface to the Lean server
Readme
Versions
Dependencies
Scripts
3.3.1
3.3.0
3.0.0
2.0.4
2.0.1
2.0.0
1.5.0
1.4.0
1.3.2
1.3.1
1.3.0
1.2.12
1.2.11
1.2.10
1.2.9
1.2.8
1.2.7
1.2.6
1.2.4
1.2.3
1.2.1
1.2.0
1.1.1
1.1.0
1.0.1
npm i lean-client-js-node
Source Code
github.com/leanprover/le...
Homepage
github.com/leanprover/lean-c...
Metadata
Apache-2.0
Whatever
Gabriel Ebner
released 6/23/2022
Downloads
Downloads Tab Here
Maintainers
gebner