COQTOP.BYTE(1) General Commands Manual COQTOP.BYTE(1)

coqtop.byte - bytecode toplevel Coq system

coqtop.byte [ options ] [ file ]

coqopt.byte is the bytecode version of Coq. It should not be called directly, but only by coqtop and coqc.

coqtop(1), coqc(1)

The Rocq Prover Reference Manual.

The Rocq Prover website: https://rocq-prover.org