זוהי הפקודה coqwc שניתן להריץ בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות המרובות שלנו, כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS
תָכְנִית:
שֵׁם
coqwc - הדפס את מספר שורות המפרט, ההוכחה וההערה בקבצי Coq
תַקצִיר
coqwc [ -p ] [ -s ] [ -r ] [ -e ] קבצים ...
תיאור
coqwc מחשב את מספר שורות המפרט, שורות ההוכחה ושורות ההערה ב-Coq
קבצים.
אפשרויות
-p הדפס את אחוז ההערות
-s הדפס רק את מספר שורות המפרט
-r הדפס רק את מספר שורות ההגהה
-e אל תדלג על כותרות
השתמש ב-coqwc באינטרנט באמצעות שירותי onworks.net
