ROCQ(1)

NAME
rocq - The Rocq Prover

SYNOPSIS
rocq [ -debug-shim ] [ -v | --version ] [ subcommand ] [ subcommand options ]

DESCRIPTION
rocq is the Rocq prover.

SEE ALSO
rocq(1),

The Rocq Reference Manual.

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