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