logo
Free, unlimited AI code reviews that run on commit
git-lrc git-lrc GitHub Install Now We'd appreciate a star git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt

coqtop.byte - bytecode toplevel Coq system

Contents

Description

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

Name

       coqtop.byte - bytecode toplevel Coq system

See Also

coqtop(1), coqc(1)

       TheCoqReferenceManual.

       The Coq web site: http://coq.inria.frCOQTOP.BYTE(1)

Synopsis

coqtop.byte [ options ] [ file ]

See Also

Man Pages
Bytes Man Pages
Man Pages
coqtop Man Pages
Man Pages
bytecode Man Pages
Man Pages
coqc Man Pages
Man Pages
system Man Pages
Man Pages
Toplevel Man Pages
Filing
Filing PNG Icons
← View User commands Category← Back to File management🙏  Credits & Acknowledgments