Đây là coqwc lệnh có thể được chạy trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks bằng cách sử dụng một trong nhiều máy trạm trực tuyến miễn phí của chúng tôi như Ubuntu Online, Fedora Online, trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MAC OS
CHƯƠNG TRÌNH:
TÊN
coqwc - in số lượng dòng đặc tả, bằng chứng và nhận xét trong tệp Coq
SYNOPSIS
coqwc [ -p ] [ -s ] [ -r ] [ -e ] các tập tin ...
MÔ TẢ
coqwc tính toán số dòng đặc tả, dòng chứng minh và dòng nhận xét trong Coq
các tập tin.
LỰA CHỌN
-p In phần trăm nhận xét
-s Chỉ in số dòng thông số kỹ thuật
-r Chỉ in số dòng bằng chứng
-e Đừng bỏ qua tiêu đề
Sử dụng coqwc trực tuyến bằng các dịch vụ onworks.net