coqtop.byte - bytecode toplevel Coq system
Contents
Description
coqopt.byte is the bytecode version of Coq. It should not be called directly, but only by coqtop and
coqc.
Name
coqtop.byte - bytecode toplevel Coq system
See Also
coqtop(1), coqc(1) TheCoqReferenceManual. The Coq web site: http://coq.inria.frCOQTOP.BYTE(1)
Synopsis
coqtop.byte [ options ] [ file ]
PNG Icons