Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help 
COQTOP.BYTE(1)		     General Commands Manual		  COQTOP.BYTE(1)

NAME
     coqtop.byte - bytecode toplevel Coq system

SYNOPSIS
     coqtop.byte [ options ] [ file ]

DESCRIPTION
     coqopt.byte  is  the  bytecode version of Coq.  It should not be called di-
     rectly, but only by coqtop and coqc.

SEE ALSO
     coqtop(1), coqc(1)

     The Coq Reference Manual.

     The Coq web site: http://coq.inria.fr

								  COQTOP.BYTE(1)

Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=coqtop.byte&sektion=1&manpath=FreeBSD+Ports+15.1.quarterly>

home | help