Stream: jsCoq

Topic: 0.15.0 preview; 0.14.2 stable


view this post on Zulip Shachar Itzhaky (Feb 10 2022 at 20:43):

The default version at coq.now.sh is now 0.14.2. And we have a new preview 0.15.0 at coq-next.now.sh, with Coq 8.15! Cool. There is a bug in the most recent version of SF which causes one of the pages (Hoare2) to error out at some point, but I'll fix that soon.


Last updated: Jan 30 2023 at 17:03 UTC