Ini adalah perintah coqwc yang dapat dijalankan di penyedia hosting gratis OnWorks menggunakan salah satu dari beberapa workstation online gratis kami seperti Ubuntu Online, Fedora Online, emulator online Windows atau emulator online MAC OS
PROGRAM:
NAMA
coqwc - mencetak jumlah baris spesifikasi, bukti, dan komentar dalam file Coq
RINGKASAN
coqwc [ -p ] [ -s ] [ -r ] [ -e ] arsip ...
DESKRIPSI
coqwc menghitung jumlah baris spesifikasi, baris bukti dan baris komentar di Coq
file.
PILIHAN
-p Cetak persentase komentar
-s Cetak hanya jumlah baris spesifikasi
-r Cetak hanya jumlah garis bukti
-e Jangan lewati header
Gunakan coqwc online menggunakan layanan onworks.net
