---
name: "coqtop.byte"
section: "1"
platform: "linux"
package: "rocq"
version: "9.3.0-1"
release: "Arch Linux 2026-11-01"
platforms: ["linux"]
url: "https://new.carta.tech/coqtop.byte"
---

# 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)](/coqtop/1.md), [**coqc**(1)](/coqc/1.md)

*The Rocq Prover Reference Manual.*

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