/Sublime-Coq

Syntax highlighting for the Coq programming language

MIT LicenseMIT

Sublime Coq

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