ROCQ(1)                     General Commands Manual                    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

                                                                       ROCQ(1)