[ Source: acl2 ]
Package: acl2-books-certs (8.5dfsg-5)
Links for acl2-books-certs
Debian Resources:
Download Source Package acl2:
Maintainer:
External Resources:
- Homepage [www.cs.utexas.edu]
Similar packages:
Lógica computacional para aplicativos Common Lisp: certificados para bibliotecas
ACL2 é tanto uma linguagem de programação na qual você pode modelar sistemas de computador quanto uma ferramenta para ajudar você a provar propriedades desses modelos.
Este arquivo contém registros de certificação para as várias bibliotecas pré-compiladas fornecidas no pacote ACL2-books. ACL2 exige essencialmente que todos os livros incluídos sejam certificados antes do uso.
Other Packages Related to acl2-books-certs
|
|
|
|
-
- dep: acl2 (>= 8.5dfsg-5)
- Computational Logic for Applicative Common Lisp: main binary
-
- dep: tex-common (>= 6.13)
- infra-estrutura comum para construir e instalar o TeX
Download acl2-books-certs
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
all | 174,194.4 kB | 661,910.0 kB | [list of files] |