coq.vim

A simple Vim plugin for the Coq Proof Assistant

incbool.vim

The plugin allows to increment not only numbers but also and bools