VsCoq Legacy

github.comsite

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

from

Coq

added

2026-10-10

likes

0

similar

1. ▲

   VsCoq github.com

   Language server and extension for the Visual Studio Code and VSCodium editors.

   tool topic programming link ↗
   
2. ▲

   Coq LSP github.com

   Language server and extension for the Visual Studio Code and VSCodium editors with custom document checking engine.

   tool topic programming link ↗
   
3. ▲

   jsCoq github.com

   Port of Coq to JavaScript, which enables running Coq projects in a browser.

   tool topic programming link ↗
   tool
4. ▲

   VS Code Extension open-vsx.org

   Extension for Visual Studio Code with the OpenTofu Language Server adds editing features for OpenTofu files such as syntax highlighting, IntelliSense, code navigation, code formatting, module explorer.

   site topic programming link ↗
   site
5. ▲

   VS Code - official Ansible Extension marketplace.visualstudio.com

   Adds language support for Ansible to Visual Studio Code and OpenVSX compatible editors by leveraging ansible-language-server.

   site topic programming link ↗
   
6. ▲

   vscode-vlang github.com

   V Language extension for Visual Studio Code.

   tool topic programming link ↗
   tool

Coq › Projects > User Interfaces: “Backwards-compatible extension for the Visual Studio Code and VSCodium editors using Coq's legacy XML protocol.”