3.3.1 • Published 2 years ago
lean-client-js-node v3.3.1
Javascript library to interface with the server mode of the Lean theorem prover.
This lean-client-js-node
package contains the node.js version. It communicates with a locally installed version of Lean. See demo.ts for an example on how to use it.
3.3.1
2 years ago
3.3.0
2 years ago
3.0.0
3 years ago
2.0.4
3 years ago
2.0.1
4 years ago
2.0.0
4 years ago
1.5.0
4 years ago
1.4.0
4 years ago
1.3.2
4 years ago
1.3.1
4 years ago
1.3.0
4 years ago
1.2.12
6 years ago
1.2.11
7 years ago
1.2.10
7 years ago
1.2.9
7 years ago
1.2.8
7 years ago
1.2.7
7 years ago
1.2.6
7 years ago
1.2.4
7 years ago
1.2.3
7 years ago
1.2.1
7 years ago
1.2.0
7 years ago
1.1.1
7 years ago
1.1.0
7 years ago
1.0.1
7 years ago