Đây là lệnh coqtop.opt 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
coqtop.opt - Toplevel Coq mã gốc
SYNOPSIS
coqopt.opt [ lựa chọn ] [ hồ sơ ]
MÔ TẢ
coqopt.opt là phiên bản mã gốc của Coq. Nó không nên được gọi trực tiếp, nhưng chỉ
by coqtop và coqc
Sử dụng coqtop.opt trực tuyến bằng các dịch vụ onworks.net