هذا هو الأمر coqtop.opt الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة على الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
coqtop.opt - المستوى الأعلى Coq للشفرة الأصلية
موجز
coqopt.opt [ الخيارات ] [ ملف ]
الوصف
coqopt.opt هو إصدار الكود الأصلي من Coq. لا ينبغي أن يتم استدعاؤها مباشرة ، ولكن فقط
by com.coqtop و com.coqc
استخدم coqtop.opt عبر الإنترنت باستخدام خدمات onworks.net