-
Emilio Jesus Gallego Arias authored- Migrated patches for 8.14. - Up wacoq to 8.14 in docker image - install: 8.14 requires `coq-core` and `coq-stdlib` to be installed. - Set version 0.14.0.
Unverified55a2c953
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.
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.