A new version of VS Coq has been released for VS under new maintainers, fixing many outstanding issues and bugs! Excited to try out Coq again! It's now run by the community so hopefully it will be better supported in the future: marketplace.visualstudio.com/items?itemName