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