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

1 Open Issue Need Help Last updated: Sep 14, 2025

Open Issues Need Help

View All on GitHub

use gh actions templates to share code between cd.yxml and publish-server.yxml about 2 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