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: Jun 10 2023 at 06:31 UTC