A Coq IDE build on top of Proof General's Coq mode
created at Feb. 15, 2015, 5:37 p.m.
A collection of tools for writing technical documents that mix Coq code and prose.
created at May 2, 2020, 5:08 p.m.
Improve readability of escape characters in ELisp regular expressions
created at June 6, 2015, 9:07 p.m.