zxygentoo/Sublime-Coq

Coq programming language support for Sublime Text

PythonMIT