The Coq mailing list

[e+coq-club AT x80.org (Emilio Jesús Gallego Arias)]

Dear Coq Users,

we are happy to announce the release of jsCoq 0.8 and SerAPI 0.02.

JsCoq 0.8
---------

- https://github.com/ejgallego/jscoq

jsCoq has seen many improvements and should be much faster now. It now
ships with the following addons:

- math-comp mtac coquelicot flocq tlc color sf cpdt hott dsp
  coq-ext-lib mirror-core hott

In its current status, it is not hard to embed jsCoq into your own
blog, web page, or book.

0.9 development will track Coq 8.6 and will be mainly focused on
completing the (much needed) new panel user interface.

SerAPI 0.02
-----------

The Coq SerAPI project provides a new communication protocol for
Coq based on ppx serializers.

- https://github.com/ejgallego/coq-serapi

Originally started as the jsCoq toplevel, the project has become
independent as we feel it can be useful on its own.

The 0.02 release is the first alpha public release; use at your own
risk!

In the future, jsCoq will consist of a browser user interface plus a
js_of_ocaml compiled sertop running in a browser thread.

I'd to thank the participants of the Coq Implementors Workshop plus
Clément Pit--Claudel, Valentin Robert, and Gabriel Scherer for their
help and comments wrt this project.

Best regards,
Emilio