Follow

I'm gradually moving my workflow from emacs+proofgeneral to vim+coqtail, so I can be back to 100% usage.

Sign in to participate in the conversation
niu.moe

Welcome to your niu world ! We are a cute and loving international community O(≧▽≦)O !