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: May 31 2023 at 04:01 UTC