## Development versions Development for jsCoq 0.14 takes place in the `v8.14` branch. A preview build of jsCoq 0.14 is usually available at: <https://x80.org/rhino-coq/v8.14/> but not updated these days. We are working on having an auto-deployed build for each commit, help is much welcome! jsCoq is easy to develop using the Chrome developer tools; the jsCoq object has a `debug` flag, and it is possible to compile Coq with debug information by setting the makefile variable `JSCOQ_DEBUG=yes`. Previous Coq versions can be accessed at: - <https://x80.org/rhino-coq/v8.10/> - <https://x80.org/rhino-coq/v8.9/> - <https://x80.org/rhino-coq/v8.8/> - <https://x80.org/rhino-coq/v8.7/> - <https://x80.org/rhino-coq/v8.6/> - <https://x80.org/rhino-coq/v8.5/> ## Docker We will provide instructions about Docker here soon. ## How to Install/Build See [docs/build.md](./build.md). ## Addons We will provide improved instructions for addons here soon, using Docker. ## Serialization jsCoq used to support serialization to Json or Sexps for Coq's internal data structures, but this effort has been split to an independent development. See https://github.com/ejgallego/coq-serapi for more information.