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