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

Coq: coqtop

Jump to bottom

LCD 47 edited this page May 10, 2014 · 6 revisions

Maintainer: Matvey Aksenov [email protected]

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

[0]:

Clone this wiki locally