ROCQ(1)                     General Commands Manual                    ROCQ(1)

<?><?><?> (NAME)
       rocq - <?><?><?><?><?><?><?><?> <?><?><?><?><?><?> Rocq

<?><?><?><?><?> <?><?><?><?><?> (SYNOPSIS)
       rocq [ -debug-shim ] [ -v | --version ] [ subcommand ] [ subcommand
       options ]

<?><?><?><?><?><?><?> (DESCRIPTION)
       rocq <?><?><?><?><?><?><?><?> <?><?><?><?><?><?> Rocq <?><?><?>.

<?><?><?><?><?><?> <?><?><?><?><?><?> (SEE ALSO)
       rocq(1),

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

       <?><?><?><?><?> Rocq: http://coq.inria.fr

                                                                       ROCQ(1)