软件包：acl2-books（8.3dfsg-2）

acl2-books 的相关链接

Debian 的资源：

下载源码包 acl2：

维护者：

Camm Maguire (QA 页面)

相似软件包：

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 有关的软件包

依赖

推荐

建议

增强

dep: acl2 (= 8.3dfsg-2)

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

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

Computational Logic for Applicative Common Lisp: library sources

下载 acl2-books

下载可用于所有硬件架构的
硬件架构	软件包大小	安装后大小	文件
amd64	246,951.8 kB	2,278,155.0 kB	[文件列表]
arm64	241,661.6 kB	2,224,371.0 kB	[文件列表]
armel	223,610.4 kB	1,400,266.0 kB	[文件列表]
armhf	228,296.6 kB	1,360,256.0 kB	[文件列表]
i386	208,837.1 kB	1,295,557.0 kB	[文件列表]
mips64el	259,686.9 kB	2,435,023.0 kB	[文件列表]
mipsel	233,384.8 kB	1,467,995.0 kB	[文件列表]
ppc64el	250,628.1 kB	2,438,890.0 kB	[文件列表]
s390x	224,248.4 kB	2,246,337.0 kB	[文件列表]