Comment on PeaCoq, a UI for CoqComments−rubiquity11yI can't think of a more perfect name for a UI library for the Coq programming language. I'll show myself out now.−Ptival11yI've always wondered why people building vim support for Coq did not name it Coq-au-vim...
Comments
I can't think of a more perfect name for a UI library for the Coq programming language. I'll show myself out now.
I've always wondered why people building vim support for Coq did not name it Coq-au-vim...