- &&
-
--add-prover <id> <shortcut> <file>
-
--add_pp <suffix> <cmd> <out_suffix>
-
--context
-
--coqdoc
-
--debug <flag>
-
--debug-all
-
--detect
-
--detect-plugins
-
--detect-provers
-
--edited-files
-
--extra-config <file>
-
--extra-expl-prefix <s>
-
--flat
-
--force
-
--help
-
--index
-
--kind=<kind>
-
--list-debug-flags
-
--list-formats
-
--list-metas
-
--list-printers
-
--list-prover-families
-
--list-provers
-
--list-transforms
-
--modular
-
--no-index
-
--obsolete-only
-
--output=<output>
|
-
--prefix=<prefix>
-
--print0
-
--prover <prover>
-
--provers
-
--recursive
-
--smoke-detector {none|top|deep}
-
--stats
-
--stdlib-url <url>
-
--style <style>
-
--title <title>
-
-a <transform>, --apply-transform <transform>
-
-C <file>, --config <file>
-
-D <driver>, --driver <driver>
-
-e <elem>
-
-F <format>, --format <format>
-
-G <goal>, --goal <goal>
-
-L <dir>, --library <dir>
-
-longtable
-
-o <dir>
-
-o <dir>, --output <dir>
-
-o <file|dir>
-
-P <prover>, --prover <prover>
-
-q
-
-rename-file <src> <dst>
-
-s
-
-style <n>
-
-T <theory>, --theory <theory>
- ||
|