[ Quellcode: acl2 ]
Paket: acl2-doc (8.5dfsg-6)
Links für acl2-doc
Debian-Ressourcen:
Quellcode-Paket acl2 herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [www.cs.utexas.edu]
Ähnliche Pakete:
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.
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
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
all | 470,2 kB | 1.475,0 kB | [Liste der Dateien] |