Stream: VsCoq devs & users

Topic: New Release: 0.3.6

view this post on Zulip Fabian Kunze (Jan 03 2022 at 10:53):

The most recent version, now compatible with coq 8.15, is available on the marketplaces:

view this post on Zulip Karl Palmskog (Jan 03 2022 at 10:55):

since I'm not sure how many people actually read this stream, you might want to do a Discourse announcement (so people are aware they need to upgrade for 8.14, 8.15 and beyond)

Last updated: Jun 15 2024 at 05:01 UTC