rocq - The Rocq Prover

NAME  SYNOPSIS  DESCRIPTION  SEE ALSO 

---

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

---