이것은 Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 제공업체에서 실행할 수 있는 acl2 명령입니다.
프로그램:
이름
acl2 - 계산 논리
개요
acl2
기술
이 매뉴얼 페이지는 간략하게 설명합니다 acl2 명령. 이 매뉴얼 페이지는
원래 프로그램에 매뉴얼 페이지가 없기 때문에 데비안 GNU/리눅스 배포판.
대신 GNU Info 형식과 html 형식의 문서가 있습니다. 이것들은
acl2-doc 패키지에 포함되어 있습니다. 문서는 프로젝트의
웹 사이트, http://www.cs.utexas.edu/users/moore/acl2, html 형식과 포스트스크립트로 모두 표시됩니다.
onworks.net 서비스를 사용하여 온라인으로 acl2 사용