COQCHK(1)                   General Commands Manual                  COQCHK(1)

<?><?><?> (NAME)
       coqchk - <?><?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?><?><?><?> Coq

<?><?><?><?><?> <?><?><?><?><?> (SYNOPSIS)
       coqchk [ <?><?><?><?><?><?><?><?> ] modules

<?><?><?><?><?><?><?> (DESCRIPTION)
       coqchk <?><?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?>
       (<?><?><?><?><?><?><?><?> .vo <?><?><?><?><?><?><?><?> <?><?><?><?>
       coqc) <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?> Coq <?><?><?>.
       <?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?><?> <?><?> Reference
       Manual <?><?><?><?><?><?> <?><?><?><?>.  <?><?><?> <?><?><?><?>
       <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?>
       <?><?><?><?><?> <?><?><?><?><?> <?><?> <?><?> <?><?><?><?> 0
       <?><?><?><?> <?><?><?><?><?><?>.  <?><?> <?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?>
       <?><?><?> <?><?><?>: <?><?><?> <?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?><?>
       <?><?><?><?> <?><?> <?><?><?><?><?> <?><?><?> (type-checking) <?>
       <?><?><?><?>.

       modules <?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?> <?><?><?>.  <?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?> <?><?> <?><?><?> <?><?><?><?><?>
       <?><?><?><?><?> <?><?> <?><?><?><?><?> <?><?> <?><?> <?><?><?>
       <?><?><?><?> <?><?><?><?><?> <?><?><?><?> <?><?><?><?>.

<?><?><?><?><?><?><?><?> (OPTIONS)
       -I dir, --include dir
              <?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?> dir <?><?>
              <?><?><?><?> include.

       -Q dir coqdir
              <?><?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?>
              dir <?><?> <?><?><?><?><?><?><?><?><?> <?><?><?><?><?> coqdir.

       -R dir coqdir
              <?><?><?><?><?><?> <?><?> -Q.

       -silent
              <?><?><?><?> <?><?><?><?><?><?><?><?> <?><?><?><?><?> <?>
              <?><?><?><?><?><?>.

       -admit module
              <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?> <?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?><?> <?><?> <?><?> <?><?>
              <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?> <?>
              <?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?>
              <?><?><?> <?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?>
              <?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?> <?><?><?><?>.

       -norec module
              <?><?><?><?> <?><?><?><?><?><?> <?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?><?> <?><?>
              <?><?><?><?><?><?><?><?><?><?> <?><?><?>.

       -m, --memory
              <?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?>
              <?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?> <?><?>
              <?><?><?><?><?> <?><?><?><?><?><?>.

       -o, --output-context
              <?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?>
              <?><?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?>
              <?><?><?><?><?> <?><?><?><?><?><?>: <?><?><?><?><?><?> <?>
              <?><?><?><?><?><?><?> <?><?> impredicativity.

       -impredicative-set
              <?><?> <?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?><?><?>
              <?><?> <?><?> <?><?> <?><?><?> <?><?><?> <?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?><?><?>.

       -v     <?><?><?><?><?> <?><?><?><?><?><?> coqchk <?> <?><?><?><?>.

       -coqlib dir
              <?><?><?><?> <?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?>
              <?><?> <?><?><?><?><?><?><?><?> <?><?><?><?><?><?>.

       -where <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?> coqchk <?> <?><?><?><?>.

       -h, --help
              <?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?><?>.

<?><?><?><?><?><?> <?><?><?><?><?><?> (SEE ALSO)
       coqtop(1), coqc(1), coq_makefile(1), coqdep(1)

       The Rocq Prover Reference Manual.

       <?><?><?><?><?><?><?> Rocq Prover: https://rocq-prover.org

                                                                     COQCHK(1)