Risk-Aware Code Review: Auto Approve Low-Risk Changes
LiveReview LiveReview LiveReview - Free, Risk-Aware Code Review: Auto Approve Low-Risk Changes | Product Hunt LiveReview - Free, Risk-Aware Code Review: Auto Approve Low-Risk Changes | Product Hunt GitHub Install Now

We'd appreciate a star

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