DUNE-COQ(1) Dune Manual DUNE-COQ(1)

dune-coq - Command group related to Coq.

dune coq top FILE -- ARGS

Execute a Coq toplevel with the local configuration.

--help[=FMT] (default=auto)
Show this help in format FMT. The value FMT must be one of auto, pager, groff or plain. With auto, the format is pager or plain whenever the TERM env var is dumb or undefined.
--version
Show version information.

dune coq exits with:

0
on success.
1
if an error happened.
130
if it was interrupted by a signal.

dune(1)

Dune n/a