यह कमांड coqwc है जिसे हमारे कई मुफ्त ऑनलाइन वर्कस्टेशन जैसे कि उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर का उपयोग करके ऑनवर्क्स फ्री होस्टिंग प्रदाता में चलाया जा सकता है।
कार्यक्रम:
नाम
coqwc - Coq फ़ाइलों में विनिर्देश, प्रमाण और टिप्पणी पंक्तियों की संख्या प्रिंट करें
SYNOPSIS
coqwc [ -p ] [ -s ] [ -r ] [ -e ] फ़ाइलों ...
वर्णन
coqwc Coq में विनिर्देश पंक्तियों, प्रूफ़ पंक्तियों और टिप्पणी पंक्तियों की संख्या की गणना करता है
फाइलें.
विकल्प
-p टिप्पणियों का प्रतिशत प्रिंट करें
-s केवल विनिर्देश पंक्तियों की संख्या मुद्रित करें
-r केवल प्रमाण पंक्तियों की संख्या ही मुद्रित करें
-e हेडर न छोड़ें
onworks.net सेवाओं का उपयोग करके ऑनलाइन coqwc का उपयोग करें