این دستور coqtop.opt است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
coqtop.opt - سطح بالای Coq با کد بومی
خلاصه
coqopt.opt [ گزینه های ] [ پرونده ]
شرح
coqopt.opt نسخه بومی کد Coq است. نباید مستقیماً نامیده شود، بلکه فقط
by coqtop و coqc
با استفاده از خدمات onworks.net به صورت آنلاین از coqtop.opt استفاده کنید