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:
https://github.com/coq-community/vscoq#readme

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: Jan 30 2023 at 18:04 UTC