coqtop.opt - The native-code Coq toplevel
Contents
Description
coqopt.opt is the native-code version of Coq. It should not be called directly, but only by coqtop and
coqcName
coqtop.opt - The native-code Coq toplevel
See Also
coqtop(1), coqc(1). TheCoqReferenceManual.TheCoqwebsite:http://coq.inria.frCOQ(1)
Synopsis
coqopt.opt [ options ] [ file ]
PNG Icons