Description
Serves Coq and Rocq language features to VS Code-compatible editors. Formal-methods users can get diagnostics and navigation for proof projects; source paths and proof text are shared with the language server.
FICHA · AUR
vscoq-language-server-git
VSCode coq / rocq language server.
- language-server
- Dev
- LANGUAGE-SERVER
- EDITOR
official+codex · reviewed · Jun 5, 2026 description in
en Permissions
Permissions not analysed for this source yet.