company-coq
A Coq IDE build on top of Proof General's Coq mode
351 stars
11 watching
29 forks
Language: Emacs Lisp
last commit: over 1 year ago
Linked from 1 awesome list
company-modecoqemacsintegrated-development-environmentproof-assistantproof-general
coq-community/awesome-coq