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

(v3.7.0) Coq: coqtop

Jump to bottom

LCD 47 edited this page Oct 6, 2015 · 1 revision

Maintainer: Matvey Aksenov [email protected]

See the project's page for details.

Clone this wiki locally