هذا هو الأمر coqc الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
coqc - مترجم Coq Proof Assistant
موجز
com.coqc [ جنرال لواء صياح الديك الخيارات ] ملف
الوصف
com.coqc هو مترجم الدُفعات لـ Coq Proof Assistant. الخيارات هي في الأساس ملفات
نفس com.coqtop(1). ملف هو الملف العام المراد تجميعه. ملف يجب أن تتشكل فقط
بالأحرف من `a` إلى` Z` أو `0` -`9` أو` _` ويجب أن تبدأ بحرف. ال
ينتج المترجم ملف كائن file.vo.
للاستخدام التفاعلي لـ Coq ، انظر com.coqtop(1).
OPTIONS
com.coqc هو نص يتم تشغيله ببساطة com.coqtop مع الخيار -جمع يقبل نفس الخيارات
as com.coqtop.
-صورة بن
تستخدم بن كأساس com.coqtop بدلا من الافتراضي.
-إفراط
طباعة الملف المترجم على الإخراج القياسي.
استخدم coqc عبر الإنترنت باستخدام خدمات onworks.net
