این دستور acl2 است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
acl2 - یک منطق محاسباتی
خلاصه
acl2
شرح
این صفحه راهنما به اختصار مستندات acl2 فرمان این صفحه راهنما برای نوشته شده است
توزیع گنو/لینوکس دبیان زیرا برنامه اصلی صفحه دستی ندارد.
در عوض، اسنادی در قالب اطلاعات گنو و همچنین در قالب html دارد. اینها هستند
موجود در بسته acl2-doc. اسناد را نیز می توان در پروژه یافت
وب سایت، http://www.cs.utexas.edu/users/moore/acl2، هم به صورت html و هم در پست اسکریپت.
با استفاده از خدمات onworks.net از acl2 به صورت آنلاین استفاده کنید