ROCQ(1) General Commands Manual ROCQ(1)

# [NAME](#NAME)

rocq - The Rocq Prover

# [SYNOPSIS](#SYNOPSIS)

**rocq** \[ **-debug-shim** ] \[ **-v** **|** **--version** ] \[ subcommand ] \[ subcommand options ]

# [DESCRIPTION](#DESCRIPTION)

**rocq** is the Rocq prover.

# [SEE ALSO](#SEE_ALSO)

[**rocq**(1)](/man/os/rocq/rocq.1),

*The Rocq Reference Manual.*

The Rocq web site: http://coq.inria.fr

---

Document: rocq(1) from rocq 9.2.0-r0 (Chainguard OS)