Package: acl2-infix-source (3.3-1.1)

Počítačová logika pro Applicative Common Lisp: zdroj infix

ACL2 obsahuje kombinaci programovacího jazyka, ve kterém můžete modelovat počítačové systémy a zároveň obsahuje nástroje, který vám umožní nastavit více parametrů těchto modelů.

Balíček obsahuje zdrojové soubory pro rozhraní infix k ACL2.

Tags: Software Development: Interpreter, Lisp Development, Libraries, Field: Mathematics, Implemented in: Lisp, Role: Source Code