Paket: acl2-books (8.3dfsg-2)

[ Quellcode: acl2  ]

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

• 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
amd64	246.951,8 kB	2.278.155,0 kB	[Liste der Dateien]
arm64	241.661,6 kB	2.224.371,0 kB	[Liste der Dateien]
armel	223.610,4 kB	1.400.266,0 kB	[Liste der Dateien]
armhf	228.296,6 kB	1.360.256,0 kB	[Liste der Dateien]
i386	208.837,1 kB	1.295.557,0 kB	[Liste der Dateien]
mips64el	259.686,9 kB	2.435.023,0 kB	[Liste der Dateien]
mipsel	233.384,8 kB	1.467.995,0 kB	[Liste der Dateien]
ppc64el	250.628,1 kB	2.438.890,0 kB	[Liste der Dateien]
s390x	224.248,4 kB	2.246.337,0 kB	[Liste der Dateien]