GitHub repository: vlj/vscoq-1
Description: A Visual Studio Code extension for Coq [maintainer=@maximedenes]