| 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 Rocq Prover Reference Manual.
The Rocq Prover website: https://rocq-prover.org