Paket: elpa-acl2 (8.5dfsg-5)
Links für elpa-acl2
Debian-Ressourcen:
Quellcode-Paket acl2 herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [www.cs.utexas.edu]
Ähnliche Pakete:
Rechenbetonte Logik für applikatives Common Lisp: Emacs-Schnittstelle
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 eine Emacs-Schnittstelle für ACL2.
Andere Pakete mit Bezug zu elpa-acl2
|
|
|
|
-
- dep: acl2 (>= 8.5dfsg-5)
- Rechenbetonte Logik für applikatives Common Lisp: Hauptprogramm
-
- dep: dh-elpa-helper
- Hilfspaket für Emacs-Lisp-Erweiterungen
-
- dep: emacs-gtk
- GNU Emacs editor (with GTK+ GUI support)
- oder emacsen
- virtuelles Paket, bereitgestellt durch emacs-gtk, emacs-lucid, emacs-nox, emacs-pgtk, xemacs21-gnome-mule, xemacs21-gnome-mule-canna-wnn, xemacs21-gnome-nomule, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule
-
- dep: emacsen-common
- Gemeinsame Funktionen aller Emacs-Varianten
-
- dep: tex-common (>= 6.13)
- Gemeinsame Infrastruktur zum Erstellen und Installieren von TeX
elpa-acl2 herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
all | 69,0 kB | 349,0 kB | [Liste der Dateien] |