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: Feb 06 2023 at 13:03 UTC