Skip to content
Snippets Groups Projects
developing.md 1.07 KiB
Newer Older
Development for jsCoq 0.13 takes place in the `v8.13` branch. A
preview build of jsCoq 0.13 is usually available at:
<https://x80.org/rhino-coq/v8.13/>

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.