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

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

The previous version is available as

Last updated: May 31 2023 at 03:30 UTC