Package: acl2-books-certs (3.1-1)

Počítačová logika pro Applicative Common Lisp: knihovna s certifikáty

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 soubor obsahuje záznamy s certifikáty pro různé předkompilované knihovny dodávané v balíčku ACL2-books. ACL2 v podstatě vyžaduje, aby byly všechny knihovny certifikovány ještě před použitím.

Tags: Software Development: Interpreter, Lisp Development, Field: Mathematics, User Interface: Text-based Interactive, Role: Application Data, Interface Toolkit: Ncurses TUI, Works with: Source Code