GitHub repository: tounaishouta/coq.vim
Primary language: Vim script
Description: A simple Vim plugin for the Coq Proof Assistant