coqtop(1) on Linux
The text 898cbd023ba6, as Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody) shipped it.
The Coq Proof Assistant toplevel system
Flags it lists
-
-h
The text 898cbd023ba6, as Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody) shipped it.
The Coq Proof Assistant toplevel system
-h