![]() |
![]()
| ![]() |
![]()
NAMEcoqtop.byte - bytecode toplevel Coq system SYNOPSIScoqtop.byte [ options ] [ file ] DESCRIPTIONcoqopt.byte is the bytecode version of Coq. It should not be called directly, but only by coqtop and coqc. SEE ALSOcoqtop(1), coqc(1) The Coq Reference Manual. The Coq web site: http://coq.inria.fr
|