GitHub repository: mkolosick/Sublime-Coq
Description: Sublime Text 3 extensions for working with the Coq programming language.