3.3.1 • Published 2 years ago
lean-client-js-core v3.3.1
Javascript library to interface with the server mode of the Lean theorem prover.
This lean-client-js-core
package contains the command definitions that are used in both browser and node.js versions. Depending on your platform, you should require either lean-client-js-node
or lean-client-js-browser
.
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.0
7 years ago
1.1.1
7 years ago
1.1.0
7 years ago
1.0.1
7 years ago