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.opt - The native-code Coq toplevel

Contents

Description

coqopt.opt  is  the  native-code version of Coq. It should not be called directly, but only by coqtop and
       coqc

Name

       coqtop.opt - The native-code Coq toplevel

See Also

coqtop(1), coqc(1).
       TheCoqReferenceManual.TheCoqwebsite:http://coq.inria.frCOQ(1)

Synopsis

coqopt.opt [ options ] [ file ]

See Also

Man Pages
coqtop Man Pages
MCP
Code Mcp
Native Alpha
Native Alpha PNG Icons
Man Pages
Toplevel Man Pages
Man Pages
DEVICE_SHUTDOWN Man Pages
Man Pages
coqc Man Pages
← View User commands Category← Back to File management🙏  Credits & Acknowledgments