هذا هو الأمر acl2 الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
acl2 - منطق حسابي
موجز
acl2
الوصف
توثق صفحة الدليل هذه بإيجاز ملف acl2 أمر. تمت كتابة صفحة الدليل هذه لـ
توزيع دبيان جنو / لينكس لأن البرنامج الأصلي لا يحتوي على صفحة دليل.
بدلاً من ذلك ، لديها وثائق بتنسيق GNU Info وكذلك بتنسيق html. هؤلاء هم
المدرجة في حزمة acl2-doc. يمكن أيضًا العثور على الوثائق في موقع المشروع
الموقع، http://www.cs.utexas.edu/users/moore/acl2، سواء في شكل html أو في التذييل.
استخدم acl2 عبر الإنترنت باستخدام خدمات onworks.net