Stream: jsCoq

Topic: 0.14.2 preview


view this post on Zulip Shachar Itzhaky (Feb 06 2022 at 14:01):

You may have already noticed 0.14.2 at coq-next.now.sh. This version is compiled with Coq 8.14.1 and also includes Iris :white_flower: I'm already working on 8.15...


Last updated: Jan 31 2023 at 09:01 UTC