Đây là lệnh coq_makefile có thể 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
coq_makefile - Trình tạo tệp tạo tệp tin Coq Proof Assistant
SYNOPSIS
coq_makefile [ đối số ]
MÔ TẢ
coq_makefile là một trình tạo makefile cho các phát triển bằng chứng Coq.
LỰA CHỌN
-h Sẽ cung cấp cho bạn một mô tả về toàn bộ danh sách các tùy chọn của coq_makefile.
Sử dụng coq_makefile trực tuyến bằng các dịch vụ onworks.net