A vim plugin, to provide a user-friendly interface in order to use the Coq Proof Assistant.