Reviews
A Coq IDE build on top of Proof General's Coq mode
Search similar apps
License
GNU General Public License v3.0
Related apps
easy-escape
Improve readability of escape characters in ELisp regular expressions
Emacs Lisp48gpl-3.0
3 years ago
A Coq IDE build on top of Proof General's Coq mode
GNU General Public License v3.0
Improve readability of escape characters in ELisp regular expressions
Emacs Lisp48gpl-3.0
3 years ago