Visual Studio Code extension for Coq. Contribute to rocq-prover/vsrocq development by creating an account on GitHub.