Paket: acl2-books (8.5dfsg-5)

Links für acl2-books

Debian-Ressourcen:

Quellcode-Paket acl2 herunterladen:

Betreuer:

Camm Maguire (QS-Seite)

Externe Ressourcen:

Homepage [www.cs.utexas.edu]

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.5dfsg-5)

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

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

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
amd64	293.848,6 kB	2.436.198,0 kB	[Liste der Dateien]
arm64	296.358,3 kB	2.437.826,0 kB	[Liste der Dateien]
armel	274.222,5 kB	1.633.425,0 kB	[Liste der Dateien]
armhf	278.225,6 kB	1.576.382,0 kB	[Liste der Dateien]
i386	253.523,1 kB	1.503.768,0 kB	[Liste der Dateien]
mips64el	316.892,3 kB	2.655.369,0 kB	[Liste der Dateien]
mipsel	291.380,8 kB	1.724.527,0 kB	[Liste der Dateien]
ppc64el	298.499,2 kB	2.607.935,0 kB	[Liste der Dateien]
s390x	273.788,6 kB	2.428.464,0 kB	[Liste der Dateien]