все параметры
bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Источник: acl2  ]

Пакет: acl2 (8.5dfsg-5)

Ссылки для acl2

Screenshot

Ресурсы Debian:

Исходный код acl2:

Сопровождающий:

Внешние ресурсы:

Подобные пакеты:

Computational Logic for Applicative Common Lisp: main binary

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 base ACL2 binary.

Теги: Разработка программного обеспечения: Интерпретатор, Разработка на Lisp, Область: field::mathematics, implemented-in::lisp, Пользовательский интерфейс: Командная строка, interface::text-mode, role::program, Область: Утилита, Инструментарий интерфейса: uitoolkit::ncurses, works-with::software:source

Другие пакеты, относящиеся к acl2

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка acl2

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
amd64 22 859,6 Кб246 032,0 Кб [список файлов]
arm64 21 082,8 Кб238 264,0 Кб [список файлов]
armel 18 617,8 Кб172 907,0 Кб [список файлов]
armhf 19 126,1 Кб166 118,0 Кб [список файлов]
i386 19 900,2 Кб167 641,0 Кб [список файлов]
mips64el 20 119,7 Кб260 595,0 Кб [список файлов]
mipsel 19 357,4 Кб172 866,0 Кб [список файлов]
ppc64el 22 597,2 Кб322 883,0 Кб [список файлов]
s390x 21 485,8 Кб235 288,0 Кб [список файлов]