Ini ialah arahan coqwc yang boleh dijalankan dalam penyedia pengehosan percuma OnWorks menggunakan salah satu daripada berbilang stesen kerja dalam talian percuma kami seperti Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS.
JADUAL:
NAMA
coqwc - mencetak bilangan spesifikasi, bukti dan baris ulasan dalam fail Coq
SINOPSIS
coqwc [ -p ] [ -s ] [ -r ] [ -e ] fail ...
DESCRIPTION
coqwc mengira bilangan baris spesifikasi, baris bukti dan baris ulasan dalam Coq
fail.
PILIHAN
-p Cetak peratusan komen
-s Cetak hanya bilangan baris spesifikasi
-r Cetak hanya bilangan garisan bukti
-e Jangan langkau pengepala
Gunakan coqwc dalam talian menggunakan perkhidmatan onworks.net