এটি হল coqwc কমান্ড যা আমাদের একাধিক বিনামূল্যের অনলাইন ওয়ার্কস্টেশন যেমন উবুন্টু অনলাইন, ফেডোরা অনলাইন, উইন্ডোজ অনলাইন এমুলেটর বা MAC OS অনলাইন এমুলেটর ব্যবহার করে OnWorks ফ্রি হোস্টিং প্রদানকারীতে চালানো যেতে পারে।
কার্যক্রম:
NAME এর
coqwc - Coq ফাইলে স্পেসিফিকেশন, প্রমাণ এবং মন্তব্য লাইনের সংখ্যা প্রিন্ট করুন
সাইনোপিসিস
coqwc [ -p ] [ -s ] [ -r ] [ -e ] নথি পত্র ...
বর্ণনাঃ
coqwc Coq এ স্পেসিফিকেশন লাইন, প্রমাণ লাইন এবং মন্তব্য লাইনের সংখ্যা গণনা করে
ফাইল।
বিকল্প
-p মন্তব্যের শতাংশ প্রিন্ট করুন
-s শুধুমাত্র স্পেসিফিকেশন লাইনের সংখ্যা প্রিন্ট করুন
-r শুধুমাত্র প্রুফ লাইনের সংখ্যা প্রিন্ট করুন
-e হেডার এড়িয়ে যাবেন না
onworks.net পরিষেবা ব্যবহার করে অনলাইনে coqwc ব্যবহার করুন
