[ Source: acl2 ]
Package: acl2-books-certs (8.3dfsg-2)
Links for acl2-books-certs
Debian Resources:
Download Source Package acl2:
Maintainer:
Similar packages:
logica computazionale per Applicative Common Lisp: certificati di libreria
ACL2 è sia un linguaggio di programmazione con cui modellare sistemi di calcolo sia uno strumento per convalidare le proprietà di questi modelli.
Questo file contiene record di certificazione per le varie librerie precompilate contenute nel pacchetto ACL2-books. ACL2 essenzialmente necessita che tutti i libri inclusi siano certificati prima di essere usati.
Other Packages Related to acl2-books-certs
|
|
|
|
-
- dep: acl2 (>= 8.3dfsg-2)
- logica computazionale per Applicative Common Lisp: binari principali
-
- dep: tex-common (>= 6.13)
- infrastruttura comune per compilare e installare TeX
Download acl2-books-certs
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
all | 141,980.6 kB | 503,228.0 kB | [list of files] |