rocq1
The rocq prover
Usage
rocq [-debug-shim]
[{-v | --version}]
[subcommand]
[subcommand
options]
Overview
rocq is the Rocq prover.
The rocq prover
rocq [-debug-shim]
[{-v | --version}]
[subcommand]
[subcommand
options]
rocq is the Rocq prover.