هذا هو الأمر coq_makefile الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
coq_makefile - مولد makefile مساعد Coq Proof
موجز
ملف coq_makefile [ الحجج ]
الوصف
ملف coq_makefile هو مولد makefile للتطورات إثبات Coq.
OPTIONS
-h سيقدم لك وصفًا للقائمة الكاملة لخيارات coq_makefile.
استخدم coq_makefile عبر الإنترنت باستخدام خدمات onworks.net