As of May 31, 2023, we have updated our Code of Conduct.

Questions tagged [vim]

Vim is a free and open-source modal text editor available for most major platforms. It allows high efficiency in many text editing tasks but has a steep learning curve.

Filter by
Sorted by
Tagged with
0 votes
1 answer

I don't know how to fire up coqtail

I installed coq and coqtail in my computer. According to this page: Im now supposed to use the command CoqStart to launch the plugin. However, when I type ":...
Raul Gomez's user avatar
15 votes
3 answers

Proof Assistants for Vim Users

I remember the last time I was trying to get into proof assistants, I was discouraged by the lack of functionality for vim users. At the time, it seemed like a lot of powerful features (holes, etc) ...
HallaSurvivor's user avatar