dune-coq - Command group related to Coq.

top [OPTION]… COQFILE [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.

dunecoq exits with:

       0   on success.

       1   if an error happened.

       130 if it was interrupted by a signal.

       dune-coq - Command group related to Coq.

dune(1)

Dune 3.17.2                                                                                          DUNE-COQ(1)

dunecoqtopFILE--ARGS