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

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.6+dfsg-3)

Rechenbetonte Logik für applikatives Common Lisp: Hauptprogramm
dep: acl2-books-certs (= 8.6+dfsg-3)

Rechenbetonte Logik für applikatives Common Lisp: Bibliothekszertifikate
dep: acl2-books-source (= 8.6+dfsg-3)

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	425.557,8 kB	3.861.172,0 kB	[Liste der Dateien]
arm64	422.402,4 kB	3.793.608,0 kB	[Liste der Dateien]
armhf	404.129,4 kB	2.670.435,0 kB	[Liste der Dateien]
i386	352.605,3 kB	2.440.787,0 kB	[Liste der Dateien]
ppc64el	440.170,5 kB	4.123.881,0 kB	[Liste der Dateien]
riscv64	959.053,0 kB	13.407.812,0 kB	[Liste der Dateien]
s390x	426.540,6 kB	3.919.865,0 kB	[Liste der Dateien]