0.9 (beta 2)
Pre-release
Pre-release
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].