COQC(1)                     General Commands Manual                    COQC(1)

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

<?><?><?><?><?> <?><?><?><?><?> (SYNOPSIS)
       coqc [ <?><?><?><?><?><?><?><?><?> <?><?><?><?><?> Coq ] file

<?><?><?><?><?><?><?> (DESCRIPTION)
       coqc <?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?> (batch)
       <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?> Coq <?><?><?>.
       <?><?><?><?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?> coqtop(1)
       <?><?><?><?><?>.  file.v <?><?><?><?> vernacular <?><?><?><?>
       <?><?><?><?><?><?><?> <?><?><?>.  file <?><?><?><?> <?><?><?><?> <?><?>
       <?><?><?><?><?><?><?><?><?> <<a>> <?><?> <<Z>><?> <<0>> <?><?> <<9>>
       <?><?> <<_>> <?><?><?><?><?> <?><?><?> <?><?><?><?> <?> <?><?><?><?>
       <?><?> <?><?> <?><?><?> <?><?><?><?> <?><?><?>.
       <?><?><?><?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?> file.vo
       <?><?><?><?><?> <?><?><?><?><?><?>.

       <?><?><?><?> <?><?><?><?><?><?><?><?> <?><?><?><?><?><?> <?><?> Coq<?>
       <?><?> coqtop(1) <?><?><?><?><?><?> <?><?><?><?>.

<?><?><?><?><?><?><?><?> (OPTIONS)
       coqc <?><?><?><?><?><?><?><?> <?><?><?> <?><?> <?><?><?><?><?> coqtop
       <?><?> <?><?> <?><?><?><?><?><?> -compile <?><?><?><?>
       <?><?><?><?><?><?>. <?><?><?> <?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?><?><?><?><?> coqtop <?><?> <?><?><?><?><?><?><?><?>.

       -image bin
              <?><?><?><?><?><?><?> <?><?> bin <?><?><?><?><?><?><?><?> coqtop
              <?><?><?><?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?><?>
              <?><?><?><?><?><?><?>.

       -verbose
              <?><?><?> <?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?>
              <?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?><?><?>.

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

       <?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?><?><?> Rocq (The
       Rocq Prover Reference Manual).

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

                                                                       COQC(1)