/sublime-coq-plugin

Syntax highlighting and Coq interactivity for Sublime Text 3

Primary LanguagePythonMIT LicenseMIT

Watchers