این دستور coqwc است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
coqwc - چاپ تعداد مشخصات، اثبات و خطوط نظر در فایل های Coq
خلاصه
coqwc [ -p ] [ -s ] [ -r ] [ -e ] فایل ها ...
شرح
coqwc تعداد خطوط مشخصات، خطوط اثبات و خطوط نظر را در Coq محاسبه می کند
فایل های.
OPTIONS
-p درصد نظرات را چاپ کنید
-s فقط تعداد خطوط مشخصات را چاپ کنید
-r فقط تعداد خطوط اثبات را چاپ کنید
-e از سرفصل ها رد نشوید
با استفاده از خدمات onworks.net از coqwc به صورت آنلاین استفاده کنید
