mkolosick / Sublime-Coq

Syntax highlighting for the Coq programming language

Sublime Coq

This really only exists for the syntax highlighting as GitHub uses this for syntax highlighting for some reason.