Pacote: acl2-doc (8.6+dfsg-3)

Links para acl2-doc

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 the documentation for ACL2.

Etiquetas: Desenvolvimento de software: Documentação, Interpretador, Desenvolvimento Lisp, Campo: field::mathematics, made-of::html, Função: Documentação, role::program, works-with::software:source

dep: dpkg (>= 1.15.4)

sistema de gerenciamento de pacotes Debian
dep: tex-common (>= 6.13)

infra-estrutura comum para construir e instalar o TeX

Baixe para todas as arquiteturas disponíveis
Arquitetura	Tamanho do pacote	Tamanho instalado	Arquivos
all	512.8 kB	1,642.0 kB	[lista de arquivos]