Stream: jsCoq

Topic: 0.14.1 is now the default

view this post on Zulip Shachar Itzhaky (Jan 03 2022 at 07:07):

I have made a few tweaks and made the new version 0.14.1 the default on coq.now.sh.

I will soon recompile with Coq 8.14.1 and also update SF to the 2021 edition.

The previous version is available as coq-0-13-3.now.sh.

Last updated: May 31 2023 at 03:30 UTC