Paket: acl2-source (8.3dfsg-2)
Links für acl2-source
Debian-Ressourcen:
Quellcode-Paket acl2 herunterladen:
Betreuer:
Ähnliche Pakete:
Rechenbetonte Logik für applikatives Common Lisp: Quelltextdateien
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 Lisp-Quelltextdateien des ACL2-Hauptprogramms.
Andere Pakete mit Bezug zu acl2-source
|
|
|
|
-
- dep: tex-common (>= 6.13)
- Gemeinsame Infrastruktur zum Erstellen und Installieren von TeX
acl2-source herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
all | 3.261,6 kB | 17.527,0 kB | [Liste der Dateien] |