GitHub
lean-client-js-core
v1.2.8
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.0
1.1.1
1.1.0
1.0.1
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
Downloads Tab Here
Maintainers
gebner