[ buster ] [ bullseye ]

[ Source: acl2 ]

Package: acl2-emacs (8.3dfsg-2)

Links for acl2-emacs

Debian Resources:

Download Source Package acl2:

Maintainer:

Camm Maguire (QA Page)

Similar packages:

logica computazionale per Applicative Common Lisp: interfaccia Emacs

ACL2 è sia un linguaggio di programmazione con cui modellare sistemi di calcolo sia uno strumento per convalidare le proprietà di questi modelli.

Questo pacchetto contiene una interfaccia emacs per ACL2.

Tags: Software Development: Interpreter, Lisp Development, Field: field::mathematics, implemented-in::lisp, User Interface: Command Line, Role: role::plugin, role::program, Application Suite: Emacs, Purpose: Editing, Works with: Source Code

Other Packages Related to acl2-emacs

depends

recommends

suggests

enhances

dep: acl2 (>= 8.3dfsg-2)

logica computazionale per Applicative Common Lisp: binari principali
dep: emacs-gtk

editor GNU Emacs (con gestione di GUI GTK+)

or emacsen

virtual package provided by emacs-gtk, emacs-lucid, emacs-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule
dep: tex-common (>= 6.13)

infrastruttura comune per compilare e installare TeX

Download acl2-emacs

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	67.8 kB	292.0 kB	[list of files]