Stream: VsCoq devs & users

Topic: Tagging 0.3.5


view this post on Zulip Paolo Giarrusso (Jan 02 2022 at 15:27):

Since 0.3.5 was released to the marketplace, could the right tag be added to https://github.com/coq-community/vscoq ?


Last updated: Jan 30 2023 at 17:03 UTC