[ Quellcode: acl2 ]
Paket: acl2-books-source (8.5dfsg-6)
Links für acl2-books-source
Debian-Ressourcen:
Quellcode-Paket acl2 herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [www.cs.utexas.edu]
Ähnliche Pakete:
Rechenbetonte Logik für applikatives Common Lisp: Quelltexte der 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 Lisp-Quelltexte zu den im Paket acl2-books bereitgestellten Bibliotheken.
Andere Pakete mit Bezug zu acl2-books-source
|
|
|
|
-
- dep: acl2 (>= 8.5dfsg-6)
- Rechenbetonte Logik für applikatives Common Lisp: Hauptprogramm
-
- dep: tex-common (>= 6.13)
- Gemeinsame Infrastruktur zum Erstellen und Installieren von TeX
acl2-books-source herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
all | 24.082,2 kB | 207.234,0 kB | [Liste der Dateien] |