Đây là lệnh acl2 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
acl2 - Một lôgic tính toán
SYNOPSIS
acl2
MÔ TẢ
Trang hướng dẫn sử dụng này tài liệu ngắn gọn về acl2 chỉ huy. Trang hướng dẫn sử dụng này được viết cho
Bản phân phối Debian GNU / Linux vì chương trình gốc không có trang hướng dẫn sử dụng.
Thay vào đó, nó có tài liệu ở định dạng GNU Info cũng như ở định dạng html. đó là
bao gồm trong gói acl2-doc. Tài liệu cũng có thể được tìm thấy tại
trang mạng, http://www.cs.utexas.edu/users/moore/acl2, cả ở dạng html và dạng tái bút.
Sử dụng acl2 trực tuyến bằng các dịch vụ onworks.net
