coqtop.byte(1)
| COQTOP.BYTE(1) | General Commands Manual | COQTOP.BYTE(1) |
NAME
coqtop.byte - bytecode toplevel Coq system
SYNOPSIS
coqtop.byte [ options ] [ file ]
DESCRIPTION
coqopt.byte is the bytecode version of Coq. It should not be called directly, but only by coqtop and coqc.
SEE ALSO
The Coq Reference Manual.
The Coq web site: http://coq.inria.fr