นี่คือคำสั่ง coqwc ที่สามารถเรียกใช้ในผู้ให้บริการโฮสต์ฟรีของ OnWorks โดยใช้เวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS
โครงการ:
ชื่อ
coqwc - พิมพ์จำนวนบรรทัดข้อกำหนดการพิสูจน์และความคิดเห็นในไฟล์ Coq
เรื่องย่อ
โค้ก [ -p ] [ -s ] [ -r ] [ -e ] ไฟล์ ...
DESCRIPTION
โค้ก คำนวณจำนวนบรรทัดข้อมูลจำเพาะ บรรทัดพิสูจน์ และบรรทัดแสดงความคิดเห็นใน Coq
ไฟล์
OPTIONS
-p พิมพ์เปอร์เซ็นต์ของความคิดเห็น
-s พิมพ์เฉพาะจำนวนบรรทัดข้อมูลจำเพาะ
-r พิมพ์เฉพาะจำนวนบรรทัดการพิสูจน์
-e อย่าข้ามส่วนหัว
ใช้ coqwc ออนไลน์โดยใช้บริการ onworks.net