Comment on PeaCoq, a UI for CoqparentComments−Ptival11yI've always wondered why people building vim support for Coq did not name it Coq-au-vim...
Comments
I've always wondered why people building vim support for Coq did not name it Coq-au-vim...