Paket: acl2-doc (8.5dfsg-5)

[ Quellcode: acl2  ]

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

• dep: dpkg (>= 1.15.4)

  Debian-Paketverwaltungssystem

• dep: tex-common (>= 6.13)

  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	470,0 kB	1.475,0 kB	[Liste der Dateien]