Development for jsCoq 0.11 takes place in the v8.11 branch. A
preview build of jsCoq 0.11 is usually available at:
https://x80.org/rhino-coq/v8.11/
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/
We will provide instructions about Docker here soon.
See docs/build.md.
We will provide improved instructions for addons here soon, using Docker.
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.