(v3.4.0) Coq: coqtop

Jump to bottom Edit New page

LCD 47 edited this page Dec 13, 2014 · 1 revision

Maintainer: Matvey Aksenov [email protected]

See the project's page for details.

[Syntastic Wiki][0] [0]: https://github.com/scrooloose/syntastic/wiki/

Add a custom sidebar

Clone this wiki locally