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