GitHub repository: jvoorhis/coq.vim
Primary language: VimL
Description: Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.