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