Paket: acl2-emacs (8.0dfsg-1)

[ 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.

Markierungen: Software-Entwicklung: Interpreter, Lisp-Entwicklung, Feld: field::mathematics, implemented-in::lisp, Benutzer-Schnittstellen: Kommandozeile, Rolle: role::plugin, role::program, Anwendungs-Suite: Emacs, Zweck: Bearbeiten, Arbeitet mit: Quellcode

Andere Pakete mit Bezug zu acl2-emacs

• dep: acl2 (>= 8.0dfsg-1)

  Rechenbetonte Logik für applikatives Common Lisp: Hauptprogramm

• dep: emacs25

  Editor GNU Emacs - Übergangspaket für den Wechsel zu emacs-gtk

  oder emacsen

  virtuelles Paket, bereitgestellt durch emacs-gtk, emacs-lucid, emacs-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

• dep: tex-common (>= 6)

  Gemeinsame Infrastruktur zum Erstellen und Installieren von TeX

acl2-emacs herunterladen

Download für alle verfügbaren Architekturen

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