[ Source: acl2 ]
Package: elpa-acl2 (8.5dfsg-5)
Links for elpa-acl2
Debian Resources:
Download Source Package acl2:
Maintainer:
External Resources:
- Homepage [www.cs.utexas.edu]
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.
Other Packages Related to elpa-acl2
|
|
|
|
-
- dep: acl2 (>= 8.5dfsg-5)
- logica computazionale per Applicative Common Lisp: binari principali
-
- dep: dh-elpa-helper
- pacchetto ausiliario per estensioni Emacs Lisp
-
- dep: emacs-gtk
- editor GNU Emacs (con gestione di GUI GTK+)
- or emacsen
- virtual package provided by 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
- funzionalità comuni per tutti gli emacs
-
- dep: tex-common (>= 6.13)
- infrastruttura comune per compilare e installare TeX
Download elpa-acl2
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 69.0 kB | 349.0 kB | [list of files] |