User Interfaces > VsCoq Legacy

Backwards-compatible extension for the Visual Studio Code and VSCodium editors using Coq's legacy XML protocol.