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