Coq for Visual Studio Code  Implemented features screenshots command shortcut next shift + cmd/ctrl + n prev shift + cmd/ctrl + u to cursor shift + cmd/ctrl + enter Acknowledgements Grammar file is taken from vscoq.
