Stream: Coq users

Topic: Call for VsCoq 0.3.6 testers

view this post on Zulip Karl Palmskog (Dec 09 2021 at 22:01):

We need help to test out a new preliminary version of VsCoq (VsCode Coq extension) for latest Coq. Please consider joining the #VsCoq devs & users stream and following the instructions in this topic

Last updated: Sep 30 2023 at 06:01 UTC