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

# rocq(1)

The Rocq Prover

## NAME

rocq - The Rocq Prover

## SYNOPSIS

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

## DESCRIPTION

**rocq** is the Rocq prover.

## SEE ALSO

[**rocq**(1)](/rocq/1.md),

*The Rocq Reference Manual.*

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