Skip to content

Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.

Notifications You must be signed in to change notification settings

jvoorhis/coq.vim

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 
 
 
 
 

Repository files navigation

coq.vim

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."

Contents

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

Installation

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 https://github.com/jvoorhis/coq.vim.git

License

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.

About

Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published