Shachar Itzhaky (Sep 22 2021 at 08:46): 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