Package: acl2-doc (3.4-2)

Výpočtová logika pro Applicative Common Lisp: dokumentace

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ů.

Tento balíček obsahuje dokumentaci pro ACL2.

Tags: Software Development: Documentation, Interpreter, Lisp Development, Field: Mathematics, Made Of: HTML, Hypertext Markup Language, Role: Documentation, Works with: Source Code