Coq Support for Visual Studio Code - View it on GitHub