Paket: elpa-acl2 (8.5dfsg-5)

[ Quellcode: acl2  ]

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

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
all	69,0 kB	349,0 kB	[Liste der Dateien]