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
Paolo Giarrusso (Jan 02 2022 at 15:27): Paolo Giarrusso (Jan 02 2022 at 15:27):