Pacote: acl2-books (8.6+dfsg-2)

Links para acl2-books

Rastreador de patch eLxr

Baixe o pacote-fonte acl2:

Mantenedor(a):

Camm Maguire

Fontes externas:

Pagina principal [www.cs.utexas.edu]

Pacotes similares:

Computational Logic for Applicative Common Lisp: compiled libraries

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

This package contains numerous precompiled and precertified libraries for use in proving theorems with ACL2. Serious users will no doubt want to install this package.

Outros pacotes relacionados a acl2-books

depende

recomenda

sugere

melhora

dep: acl2 (= 8.6+dfsg-2)

Computational Logic for Applicative Common Lisp: main binary
dep: acl2-books-certs (= 8.6+dfsg-2)

Computational Logic for Applicative Common Lisp: library certificates
dep: acl2-books-source (= 8.6+dfsg-2)

Computational Logic for Applicative Common Lisp: library sources

Download de acl2-books

Baixe para todas as arquiteturas disponíveis
Arquitetura	Tamanho do pacote	Tamanho instalado	Arquivos
amd64	425,530.7 kB	3,860,992.0 kB	[lista de arquivos]
arm64	422,385.3 kB	3,793,554.0 kB	[lista de arquivos]