C

coq-au-vim

A Vim plugin for working with the Coq proof assistant.