[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ 源代码： acl2 ]

软件包：acl2-doc（8.0dfsg-1）

acl2-doc 的相关链接

Debian 的资源：

下载源码包 acl2：

维护者：

Camm Maguire (QA 页面)

相似软件包：

Computational Logic for Applicative Common Lisp: documentation

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.

标签: 软件开发: 文档, 解释器, Lisp 开发, 领域: field::mathematics, made-of::html, 角色: 文档, role::program, works-with::software:source

其他与 acl2-doc 有关的软件包

依赖

推荐

建议

增强

dep: dpkg (>= 1.15.4)

Debian 软件包管理系统

或者 install-info

Manage installed documentation in info format
dep: tex-common (>= 6)

用于构建和安装 TeX 的通用基础架构

下载 acl2-doc

下载可用于所有硬件架构的
硬件架构	软件包大小	安装后大小	文件
all	392.1 kB	1,155.0 kB	[文件列表]