Đây là lệnh coqtop.byte 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 giả lập trực tuyến MAC OS
CHƯƠNG TRÌNH:
TÊN
coqtop.byte - Toplevel bytecode Coq
SYNOPSIS
coqtop.byte [ lựa chọn ] [ hồ sơ ]
MÔ TẢ
coqopt.byte là phiên bản bytecode của Coq. Nó không nên được gọi trực tiếp, mà chỉ bởi
coqtop và coqc
Sử dụng coqtop.byte trực tuyến bằng các dịch vụ onworks.net