coqc - آنلاین در ابر

برنامه:

نام

coqc - کامپایلر Coq Proof Assistant

خلاصه

coqc [ عمومی خروس گزینه های ] پرونده

شرح

coqc کامپایلر دسته ای برای Coq Proof Assistant است. گزینه ها در اصل هستند
همان coqtop(1). file.v فایل بومی برای کامپایل است. پرونده فقط باید تشکیل شود
با کاراکترهای «a» تا «Z»، «0»-»9» یا «_» و باید با یک حرف شروع شود. در
کامپایلر یک فایل شی تولید می کند file.vo.

برای استفاده تعاملی از Coq، نگاه کنید به coqtop(1).

OPTIONS

coqc یک اسکریپت است که به سادگی اجرا می شود coqtop با گزینه -گردآوری همان گزینه ها را می پذیرد
as coqtop

-تصویر صندوق
استفاده کنید صندوق به عنوان زمینه coqtop به جای پیش فرض

کلاهبرداری
فایل کامپایل شده را روی خروجی استاندارد چاپ کنید.

با استفاده از خدمات onworks.net از coqc به صورت آنلاین استفاده کنید