Reviews
A Coq IDE build on top of Proof General's Coq mode
Search similar apps
License
GNU General Public License v3.0
A Coq IDE build on top of Proof General's Coq mode
Creator
Related apps
alectryon
A collection of tools for writing technical documents that mix Coq code and pros
HTML208mit
6 months ago
easy-escape
Improve readability of escape characters in ELisp regular expressions
Emacs Lisp46gpl-3.0
3 years ago