Paket: acl2-doc (8.0dfsg-1)

Links für acl2-doc

Debian-Ressourcen:

Quellcode-Paket acl2 herunterladen:

Betreuer:

Camm Maguire (QS-Seite)

Rechenbetonte Logik für applikatives Common Lisp: Dokumentation

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 die Dokumentation für ACL2.

Markierungen: Software-Entwicklung: Dokumentation, Interpreter, Lisp-Entwicklung, Feld: field::mathematics, made-of::html, Rolle: Dokumentation, role::program, works-with::software:source

Andere Pakete mit Bezug zu acl2-doc

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: dpkg (>= 1.15.4)

Debian-Paketverwaltungssystem

oder install-info

Verwaltung installierter Dokumentationen im Info-Format
dep: tex-common (>= 6)

Gemeinsame Infrastruktur zum Erstellen und Installieren von TeX

acl2-doc herunterladen

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