Stream: jsCoq

Topic: jsCoq 0.16.0 est sorti !


view this post on Zulip Shachar Itzhaky (Sep 22 2022 at 11:56):

We have released 0.16.0 using Coq 8.16.0 and it is now the default at coq.now.sh.


Last updated: Jan 30 2023 at 17:03 UTC