Balík: acl2-books-certs (8.5dfsg-5)

Computational Logic for Applicative Common Lisp - certifikáty knižníc

ACL2 je jednak programovací jazyk, v ktorom môžete modelovať počítačové systémy a jednak nástroj, ktorý vám pomôže dokázať vlastnosti týchto modelov.

Tento balík obsahuje certifikačné záznamy rozličných predkompilovaných knižníc dodávaných v balíku ACL2-books. ACL2 v podstate vyžaduje, aby boli všetky knihy certifikované pred použitím.

Značky: Software Development: Interpreter, Lisp Development, devel::library, field::mathematics, Implementované v: Lisp, User Interface: interface::text-mode, role::app-data, Role: Vývojová knižnica, Program, Sada nástrojov používateľského rozhrania: uitoolkit::ncurses, works-with::software:source

Táto stránka je tiež dostupná v nasledovných jazykov (ako nastaviť predvolený jazyk dokumentov):