# \#jscoq

**URL:** https://discourse.rocq-prover.org/tag/jscoq/12.md

[Latest](https://discourse.rocq-prover.org/latest.md) · [Categories](https://discourse.rocq-prover.org/categories.md) · [Tags](https://discourse.rocq-prover.org/tags.md)

---

## [\[ANN\] coq-lsp 0.2.4](https://discourse.rocq-prover.org/t/ann-coq-lsp-0-2-4/2829)

<div class="topic-metadata">

**Author:** [@ejgallego](https://discourse.rocq-prover.org/u/ejgallego)\
**Replies:** 0\
**Last updated:** [September 17, 2025, 11:17am UTC](https://discourse.rocq-prover.org/t/ann-coq-lsp-0-2-4/2829 "2025-09-17T11:17:18Z")

</div>

Dear all, We’re happy to announce the 0.2.4 release of coq-lsp. This release contains some bug fixes and refinements, and a few important new features: the extension includes a Rocq 9.1 WebAssembly version that can…

---

## [\[ANNOUNCE\] jsCoq 0.11](https://discourse.rocq-prover.org/t/announce-jscoq-0-11/758)

<div class="topic-metadata">

**Author:** [@ejgallego](https://discourse.rocq-prover.org/u/ejgallego)\
**Replies:** 0\
**Last updated:** [April 8, 2020, 7:57pm UTC](https://discourse.rocq-prover.org/t/announce-jscoq-0-11/758 "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…