I have published jsCoq 0.13.1 and it will soon be the default version on our website. It is a minor version without too many changes and the same version of Coq (8.13.2). I am also adding SLF (newest Software Foundations volume) to the online version.
There was a small mishap with the NPM packages so I am waiting for their support to reply. But the release is available on GitHub. https://github.com/jscoq/jscoq/releases/tag/v0.13.1
Last updated: Jun 10 2023 at 06:31 UTC