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: Apr 17 2024 at 18:01 UTC