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
       directly, 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.0.quarterly>

home | help