Paket: acl2-books-certs (8.6+dfsg-3)

Rechenbetonte Logik für applikatives Common Lisp: Bibliothekszertifikate

ACL2 ist sowohl eine Programmiersprache, mit der man Rechnersysteme modellieren kann, als auch ein Werkzeug, das Sie dabei unterstützt, Eigenschaften solcher Modelle zu beweisen.

Diese Datei enthält Zertifikate für die verschiedenen vorkompilierten Bibliotheken, die das ACL2-books-Paket bereitstellt. Es ist für ACL2 zwingend erforderlich, dass alle enthaltenen Bücher vor dem Gebrauch zertifiziert werden.

Markierungen: Software-Entwicklung: Interpreter, Lisp-Entwicklung, devel::library, field::mathematics, Implementiert in: Lisp, Benutzer-Schnittstellen: interface::text-mode, role::app-data, Rolle: Entwicklungs-Bibliothek, Programm, GUI-Baukasten: uitoolkit::ncurses, works-with::software:source

Diese Seite gibt es auch in den folgenden Sprachen (Wie wird die Standardsprache eingestellt):