todas as opções
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Fonte: acl2  ]

Pacote: acl2-source (8.3dfsg-2)

Links para acl2-source

Screenshot

Recursos de Debian:

Baixe o pacote-fonte acl2:

Mantenedor(a):

Pacotes similares:

Computational Logic for Applicative Common Lisp: source files

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 lisp source files to the main ACL2 binary.

Etiquetas: Desenvolvimento de software: Interpretador, Desenvolvimento Lisp, Campo: field::mathematics, implemented-in::lisp, Interface de usuário(a): Interativo baseado em texto, Função: role::program, role::source, Kit de ferramentas de interface: Ncurses TUI

Outros pacotes relacionados a acl2-source

  • depende
  • recomenda
  • sugere
  • melhora

Download de acl2-source

Baixe para todas as arquiteturas disponíveis
Arquitetura Tamanho do pacote Tamanho instalado Arquivos
all 3,261.6 kB17,527.0 kB [lista de arquivos]