Skip to content
This repository was archived by the owner on Sep 20, 2023. It is now read-only.

(v3.5.0) Coq: coqtop

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

Maintainer: Matvey Aksenov matvey.aksenov@gmail.com

See [the project's page][0] for details.

[0]:

Syntastic Wiki

Clone this wiki locally