GitHub repository: Calvin-L/sublime-coq-plugin
Primary language: Python
Created: 2015-01-05T22:42:22Z
Description: Syntax highlighting and Coq interactivity for Sublime Text 3