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