rocq - Man Page

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

Referenced By

rocq(1), rocqchk(1), rocqide(1).