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 is now 0.14.2. And we have a new preview 0.15.0 at, 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: Apr 21 2024 at 01:02 UTC