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 and is available via NPM as well.

We have started a convention for archiving older versions; you can access 0.13.2 via

Last updated: Jan 30 2023 at 18:04 UTC