Paket: acl2-books (8.6+dfsg-3 und andere)

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.4dfsg-2) [alpha, sh4]

Rechenbetonte Logik für applikatives Common Lisp: Hauptprogramm

dep: acl2 (= 8.5dfsg-2) [m68k]

dep: acl2 (= 8.6+dfsg-3) [nicht alpha, m68k, sh4]
dep: acl2-books-certs (= 8.4dfsg-2) [alpha, sh4]

Rechenbetonte Logik für applikatives Common Lisp: Bibliothekszertifikate

dep: acl2-books-certs (= 8.5dfsg-2) [m68k]

dep: acl2-books-certs (= 8.6+dfsg-3) [nicht alpha, m68k, sh4]
dep: acl2-books-source (= 8.4dfsg-2) [alpha, sh4]

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

dep: acl2-books-source (= 8.5dfsg-2) [m68k]

dep: acl2-books-source (= 8.6+dfsg-3) [nicht alpha, m68k, sh4]

acl2-books herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	8.4dfsg-2	289.668,4 kB	2.492.023,0 kB	[Liste der Dateien]
amd64	8.6+dfsg-3	425.557,8 kB	3.861.172,0 kB	[Liste der Dateien]
arm64	8.6+dfsg-3	422.402,4 kB	3.793.608,0 kB	[Liste der Dateien]
armel	8.6+dfsg-3	395.056,9 kB	2.708.195,0 kB	[Liste der Dateien]
armhf	8.6+dfsg-3	404.129,4 kB	2.670.435,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	8.6+dfsg-3	472.846,2 kB	3.120.721,0 kB	[Liste der Dateien]
i386	8.6+dfsg-3	352.605,3 kB	2.440.787,0 kB	[Liste der Dateien]
loong64 (inoffizielle Portierung)	8.6+dfsg-3	542.011,3 kB	5.431.693,0 kB	[Liste der Dateien]
m68k (inoffizielle Portierung)	8.5dfsg-2	250.602,4 kB	1.794.077,0 kB	[Liste der Dateien]
mips64el	8.6+dfsg-3	451.253,0 kB	4.092.803,0 kB	[Liste der Dateien]
ppc64 (inoffizielle Portierung)	8.6+dfsg-3	426.956,6 kB	4.088.427,0 kB	[Liste der Dateien]
ppc64el	8.6+dfsg-3	440.170,5 kB	4.123.881,0 kB	[Liste der Dateien]
riscv64	8.6+dfsg-3	959.053,0 kB	13.407.812,0 kB	[Liste der Dateien]
s390x	8.6+dfsg-3	426.540,6 kB	3.919.865,0 kB	[Liste der Dateien]
sh4 (inoffizielle Portierung)	8.4dfsg-2	253.509,8 kB	1.510.880,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	8.6+dfsg-3	415.968,1 kB	3.939.167,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	8.6+dfsg-3	148.522,6 kB	1.125.472,0 kB	[Liste der Dateien]