Interactive Coq Proofs in Vim. Contribute to whonore/Coqtail development by creating an account on GitHub.