NAME
rocq - The Rocq Prover
SYNOPSIS
rocq [ -debug-shim ] [ -v | --version ] [ subcommand ] [ subcommand options ]
DESCRIPTION
rocq is the Rocq prover.
SEE ALSO
The Rocq Reference Manual.
The Rocq web site: http://coq.inria.fr
rocq(1)
The Rocq Prover