rocq-prover

rocq-prover/vsrocq

Visual Studio Code extension for Coq

408 stars 82 forks 408 watchers OCaml MIT License

coq editor rocq rocq-prover vscode vscode-extension vscodium

2 Open Issues Need Help Last updated: Sep 14, 2025

Open Issues Need Help

View All on GitHub

[FEAT] Support textDocument/selectionRange 2 days ago

enhancement good first issue

rocq-prover/vsrocq

408

Visual Studio Code extension for Coq

OCaml

#coq#editor#rocq#rocq-prover#vscode#vscode-extension#vscodium

use gh actions templates to share code between cd.yxml and publish-server.yxml 11 months ago

good first issue

rocq-prover/vsrocq

408

Visual Studio Code extension for Coq

OCaml

#coq#editor#rocq#rocq-prover#vscode#vscode-extension#vscodium