Name		Name	Last commit message	Last commit date
Latest commit History 129 Commits
autoload		autoload
ftdetect		ftdetect
ftplugin		ftplugin
indent		indent
syntax		syntax
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENCE.txt		LICENCE.txt
README.md		README.md

Repository files navigation

This fork has been moved to a separate project Coqtail.

About

Interactive theorem proving with Coq in vim.

Report repository

Releases

Packages

No packages published

Languages

Vim Script 60.2%
Python 39.8%