GitHub repository: ryuta-ito/coqtop-vim
Primary language: Vim script
Description: Interact with coqtop within Vim