5 ms·I've always wondered why people building vim support for Coq did not name it Coq-au-vim...by Ptival 11y agoI've always wondered why people building vim support for Coq did not name it Coq-au-vim...