Stream: jsCoq

Topic: jsCoq 0.13.3 Released


view this post on Zulip Shachar Itzhaky (Sep 22 2021 at 08:46):

The 0.13.3 version is now the default at coq.now.sh and is available via NPM as well.

We have started a convention for archiving older versions; you can access 0.13.2 via coq-0-13-2.now.sh.


Last updated: Jan 30 2023 at 18:04 UTC