[ Source: acl2 ]
Package: acl2-doc (8.3dfsg-2)
logica computazionale per Applicative Common Lisp: documentazione
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 la documentazione per ACL2.
Other Packages Related to acl2-doc
|
|
|
|
-
- dep: dpkg (>= 1.15.4)
- sistema di gestione dei pacchetti di Debian
- or install-info
- gestisce la documentazione installata nel formato info
-
- dep: tex-common (>= 6.13)
- infrastruttura comune per compilare e installare TeX
Download acl2-doc
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
all | 437.1 kB | 1,304.0 kB | [list of files] |