# \[ANNOUNCE\] jsCoq 0.11

**URL:** <https://discourse.rocq-prover.org/t/announce-jscoq-0-11/758>\
**Category:** Announcements\
**Tags:** jscoq\
**Created:** [April 8, 2020, 7:57pm UTC](https://discourse.rocq-prover.org/t/announce-jscoq-0-11/758 "2020-04-08T19:57:37Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![ejgallego](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/ejgallego/32/10_2.png) [@ejgallego](https://discourse.rocq-prover.org/u/ejgallego)\
**Post date:** [April 8, 2020, 7:57pm UTC](https://discourse.rocq-prover.org/t/announce-jscoq-0-11/758/1 "2020-04-08T19:57:37Z")

</div>

Dear Coq users and developers,

we are happy to announce the release of jsCoq 0.11.0, based on Coq 8.11.

Since jsCoq 0.9, the 0.11 version does include numerous improvements and  
fine tunings, as well as all the changes from upstream Coq.

Highlights since 0.9 are:

- project moved from [https://github.com/ejgallego/jscoq](https://github.com/ejgallego/jscoq) to the  
[https://github.com/jscoq/jscoq](https://github.com/jscoq/jscoq) organization
- jsCoq is distributed as a NPM package!
- updated to use Coq 8.11.1
- support for timeout and interrupt
- improvements in goal printing and display
- extended set of addons
- new build system based on Dune

See the CHANGES [1] file for a detailed list of changes.

jsCoq is free software, please don’t hesitate to report issues and  
contribute at [https://github.com/jscoq/jscoq](https://github.com/jscoq/jscoq)

Have fun,  
Shachar and Emilio

[1] [https://github.com/jscoq/jscoq/blob/v8.11/CHANGES.md](https://github.com/jscoq/jscoq/blob/v8.11/CHANGES.md)