company-coq

A Coq IDE build on top of Proof General's Coq mode

License

GNU General Public License v3.0

A Coq IDE build on top of Proof General's Coq mode

Creator

cpitclaudel

Related apps

easy-escape

Improve readability of escape characters in ELisp regular expressions

Emacs Lisp48gpl-3.0

3 years ago