Paket: acl2-books (8.3dfsg-2)

Links für acl2-books

Debian-Ressourcen:

Quellcode-Paket acl2 herunterladen:

Betreuer:

Camm Maguire (QS-Seite)

Rechenbetonte Logik für applikatives Common Lisp: kompilierte Bibliotheken

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.

Dieses Paket enthält eine Vielzahl vorkompilierter und vorzertifizierter Bibliotheken für den Gebrauch beim Beweis von Sätzen mit ACL2. Ernsthafte Anwender werden dieses Paket ohne Zweifel installieren wollen.

Markierungen: Software-Entwicklung: Interpreter, Lisp-Entwicklung, devel::library, field::mathematics, Implementiert in: Lisp, Rolle: role::app-data, role::program, Arbeitet mit: Quellcode

Andere Pakete mit Bezug zu acl2-books

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: acl2 (= 8.3dfsg-2)

Rechenbetonte Logik für applikatives Common Lisp: Hauptprogramm
dep: acl2-books-certs (= 8.3dfsg-2)

Rechenbetonte Logik für applikatives Common Lisp: Bibliothekszertifikate
dep: acl2-books-source (= 8.3dfsg-2)

Rechenbetonte Logik für applikatives Common Lisp: Quelltexte der Bibliotheken

acl2-books herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
i386	208.837,1 kB	1.295.557,0 kB	[Liste der Dateien]