COQTOP.BYTE(1)              General Commands Manual             COQTOP.BYTE(1)

<?><?><?> (NAME)
       coqtop.byte - <?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?><?><?>
       Coq

<?><?><?><?><?> <?><?><?><?><?> (SYNOPSIS)
       coqtop.byte [ <?><?><?><?><?><?><?><?> ] [ <?><?><?><?> ]

<?><?><?><?><?><?><?> (DESCRIPTION)
       coqopt.byte <?><?><?><?><?> <?><?><?><?><?><?><?> Coq <?><?><?>.
       <?><?><?> <?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?> <?><?><?><?>
       <?><?><?><?> <?><?><?><?> coqtop <?> coqc <?><?><?><?> <?><?><?><?>.

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

       <?><?><?><?><?><?><?> <?><?><?><?> Rocq Prover.

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

                                                                COQTOP.BYTE(1)