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: Apr 14 2024 at 11:02 UTC