Reviews
A collection of tools for writing technical documents that mix Coq code and prose.
Search similar apps
License
MIT License
A collection of tools for writing technical documents that mix Coq code and prose.
Creator
Related apps
easy-escape
Improve readability of escape characters in ELisp regular expressions
Emacs Lisp47gpl-3.0
3 years ago
company-coq
A Coq IDE build on top of Proof General's Coq mode
Emacs Lisp340gpl-3.0
last year
company-modecoqemacs