This topic was moved to #VsCoq devs & users > VSCoq extension for VSCode doesn't work by Karl Palmskog.
Last updated: Mar 29 2024 at 14:01 UTC