Acl2

Interpreter and prover for a Lisp dialect

موقع المشروع

طرق التثبيت

Open it in a graphical application? In development

channel:

unstable

الاصدار:

8.6

مدعوم:

نعم

مكسور:

لا

الرخصة:

مملوك

المنصة:

78