این دستور coq_makefile است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
coq_makefile - تولید کننده فایل سازنده دستیار اثبات Coq
خلاصه
coq_makefile [ استدلال ]
شرح
coq_makefile یک تولید کننده فایل برای پیشرفت های اثبات Coq است.
OPTIONS
-h شرحی از کل لیست گزینه های coq_makefile را به شما می دهد.
با استفاده از خدمات onworks.net از coq_makefile به صورت آنلاین استفاده کنید
