Package: acl2-books-certs (4.3-3)

[ Source: acl2  ]

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.

Tags: Software Development: Interpreter, Lisp Development, Field: field::mathematics, interface::text-mode, Role: Application Data, Interface Toolkit: uitoolkit::ncurses, works-with::software:source

Other Packages Related to acl2-books-certs

• dep: acl2 (>= 4.3-3)

  Rechenbetonte Logik für applikatives Common Lisp: Hauptprogramm

• dep: dpkg (>= 1.14.18)

  Debian-Paketverwaltungssystem

• dep: tex-common (>= 3)

  Gemeinsame Infrastruktur zum Erstellen und Installieren von TeX

Download acl2-books-certs

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	4,322.8 kB	32,163.0 kB	[list of files]