mkolosick / Sublime-Coq Public

Notifications You must be signed in to change notification settings
Fork 12
Star 9

Syntax highlighting for the Coq programming language

9 stars 12 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 62 Commits
Coq.tmLanguage		Coq.tmLanguage
LICENSE		LICENSE
README.md		README.md

Repository files navigation

Sublime Coq

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

About

Syntax highlighting for the Coq programming language

Report repository

Releases

No releases published

Packages

Contributors 3