GitHub
lean-client-js-core
v2.0.0
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 9/21/2020
Downloads
Downloads Tab Here
Maintainers
gebner