Paket: acl2-books-certs (8.3dfsg-2)

[ Quellcode: 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.

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

Andere Pakete mit Bezug zu acl2-books-certs

• dep: acl2 (>= 8.3dfsg-2)

  Rechenbetonte Logik für applikatives Common Lisp: Hauptprogramm

• dep: tex-common (>= 6.13)

  Gemeinsame Infrastruktur zum Erstellen und Installieren von TeX

acl2-books-certs herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
all	141.980,6 kB	503.228,0 kB	[Liste der Dateien]