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)
NAME | SYNOPSIS | DESCRIPTION | SEE ALSO
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>