Coq: coqtop - novaez/syntastic GitHub Wiki Maintainer: Matvey Aksenov [email protected] See the project's page for details.