Switch branches/tags
Nothing to show
Find file
Fetching contributors…
Cannot retrieve contributors at this time
34 lines (27 sloc) 1.13 KB


About Coq

Coq is a proof assistant. According to the Coq homepage it "provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs."


This repo contains Vincent Aravantinos' coq syntax and coq indent vim scripts plus filetype support in a pathogen compatible git repository.


This bundle is meant to be installed with pathogen. After following pathogen's installation process, run the following commands and restart vim.

cd ~/.vim/bundle
git clone


The original sources were released under the public domain. coq.vim is a convenient distribution of these scripts, provided by Jeremy Voorhis, and is also provided under the public domain.