Пакет: acl2-books (8.6+dfsg-3 и другие)

Ссылки для acl2-books

Ресурсы Debian:

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

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

Camm Maguire (Страница КК)

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

Сайт [www.cs.utexas.edu]

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

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.

Теги: Разработка программного обеспечения: Интерпретатор, Разработка на Lisp, devel::library, field::mathematics, Реализовано на: Lisp, Роль: role::app-data, role::program, Работает с: Исходный код

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

зависимости

рекомендации

предложения

enhances

dep: acl2 (= 8.4dfsg-2) [alpha, sh4]

Computational Logic for Applicative Common Lisp: main binary

dep: acl2 (= 8.5dfsg-2) [m68k]

dep: acl2 (= 8.6+dfsg-3) [не alpha, m68k, sh4]
dep: acl2-books-certs (= 8.4dfsg-2) [alpha, sh4]

Computational Logic for Applicative Common Lisp: library certificates

dep: acl2-books-certs (= 8.5dfsg-2) [m68k]

dep: acl2-books-certs (= 8.6+dfsg-3) [не alpha, m68k, sh4]
dep: acl2-books-source (= 8.4dfsg-2) [alpha, sh4]

Computational Logic for Applicative Common Lisp: library sources

dep: acl2-books-source (= 8.5dfsg-2) [m68k]

dep: acl2-books-source (= 8.6+dfsg-3) [не alpha, m68k, sh4]

Загрузка acl2-books

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	8.4dfsg-2	289 668,4 Кб	2 492 023,0 Кб	[список файлов]
amd64	8.6+dfsg-3	425 557,8 Кб	3 861 172,0 Кб	[список файлов]
arm64	8.6+dfsg-3	422 402,4 Кб	3 793 608,0 Кб	[список файлов]
armel	8.6+dfsg-3	395 056,9 Кб	2 708 195,0 Кб	[список файлов]
armhf	8.6+dfsg-3	404 129,4 Кб	2 670 435,0 Кб	[список файлов]
hppa (неофициальный перенос)	8.6+dfsg-3	472 846,2 Кб	3 120 721,0 Кб	[список файлов]
i386	8.6+dfsg-3	352 605,3 Кб	2 440 787,0 Кб	[список файлов]
loong64 (неофициальный перенос)	8.6+dfsg-3	542 011,3 Кб	5 431 693,0 Кб	[список файлов]
m68k (неофициальный перенос)	8.5dfsg-2	250 602,4 Кб	1 794 077,0 Кб	[список файлов]
mips64el	8.6+dfsg-3	451 253,0 Кб	4 092 803,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	8.6+dfsg-3	426 956,6 Кб	4 088 427,0 Кб	[список файлов]
ppc64el	8.6+dfsg-3	440 170,5 Кб	4 123 881,0 Кб	[список файлов]
riscv64	8.6+dfsg-3	959 053,0 Кб	13 407 812,0 Кб	[список файлов]
s390x	8.6+dfsg-3	426 540,6 Кб	3 919 865,0 Кб	[список файлов]
sh4 (неофициальный перенос)	8.4dfsg-2	253 509,8 Кб	1 510 880,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	8.6+dfsg-3	415 968,1 Кб	3 939 167,0 Кб	[список файлов]
x32 (неофициальный перенос)	8.6+dfsg-3	148 522,6 Кб	1 125 472,0 Кб	[список файлов]