GitHub repository: rocq-prover/vsrocq
Primary language: OCaml
Description: Visual Studio Code extension for Coq