Stream: jsCoq

Topic: v0.12.2 preview


view this post on Zulip Shachar Itzhaky (Jan 13 2021 at 17:57):

I have published a release candidate for 0.12.2. Not much has changed but Coq version is now 8.12.1.

@Théo Zimmermann I am sorry it took so long!


Last updated: Jan 30 2023 at 18:04 UTC