coqtop.byte(1)

bytecode toplevel Coq system

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

coqtop(1), coqc(1)

The Rocq Prover Reference Manual.

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

History

Arch Linux 2026-11-01: the text shown here
Debian 13 (Trixie)
Debian 12 (Bookworm) to Debian 11 (Bullseye)
Debian 10 (Buster) to Debian 3.0 (Woody)