Releases: corwin-of-amber/jscoq
0.11 (alpha 1)
This is a preview version of jsCoq 0.11 based on the v8.11+lf branch (still not merged with v8.11).
The tarball bundles jsCoq and all of its dependencies, including Coq packages and mathcomp (.vo and .cmo.js files, now zipped into neat little .coq-pkg bundles).
Unpack to a directory, run npm i in that directory, then serve it over HTTP[S].
Or, run npm i jscoq-0.11.0-alpha1-npm.tar.gz to use jsCoq as a package in your NPM-based project.
0.9 (beta 2)
Binary preview for version 0.9 targeting Coq 8.9.
The tarball bundles jsCoq and all of its dependencies, including Coq packages (.vo and .cmo.js files, now zipped into neat little .coq-pkg bundles).
Unpack, run npm i in the directory jscoq-0.9, then serve the files from that directory over HTTP[S].
0.9 (beta 1)
Binary preview for version 0.9 targeting Coq 8.8.
The tarball bundles jsCoq and all of its dependencies, including Coq packages (.vo and .cmo.js files).
Unpack, run npm i in the directory jscoq-0.9, then serve the files from that directory over HTTP[S].
v0.9 (preview)
Binary preview for version 0.9 targeting Coq 8.8.
The tarball bundles jsCoq and all of its dependencies, including Coq packages (.vo and .cmo.js files).