coqtop.opt1
The native-code coq toplevel
Usage
coqopt.opt [options]
[file]
Overview
coqopt.opt is the native-code version of Coq. It should not be called directly, but only by coqtop and coqc
History
- Debian 12 (Bookworm) to Debian 11 (Bullseye): the text shown here
- Debian 10 (Buster) to Debian 3.0 (Woody)