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.
2
questions
0
votes
1
answer
54
views
I don't know how to fire up coqtail
I installed coq and coqtail in my computer. According to this page:
https://github.com/whonore/Coqtail
Im now supposed to use the command
CoqStart
to launch the plugin. However, when I type ":...
- 103
15
votes
3
answers
389
views
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) ...
- 267