GitHub repository: whonore/Coqtail
Primary language: Python
Created: 2017-05-31T15:46:39Z
Description: Interactive Coq Proofs in Vim