Descrição
Serve recursos de linguagem Coq e Rocq a editores compatíveis com VS Code. Usuários de métodos formais podem receber diagnósticos e navegação para projetos de prova; caminhos de código-fonte e texto de provas são compartilhados com o language server.