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: Oct 08 2024 at 14:01 UTC