Stream: jsCoq

Topic: jsCoq 0.13.1

view this post on Zulip Shachar Itzhaky (Aug 05 2021 at 14:49):

Hi all,

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.

view this post on Zulip Shachar Itzhaky (Aug 07 2021 at 17:25):

Published.

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