GitHub repository: kkpan11/vscoq
Primary language: OCaml
Description: A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]