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

[ 源代码： acl2 ]

软件包：acl2-books-source（8.5dfsg-6）

acl2-books-source 的相关链接

Debian 的资源：

下载源码包 acl2：

维护者：

Camm Maguire (QA 页面)

外部的资源：

主页 [www.cs.utexas.edu]

相似软件包：

Computational Logic for Applicative Common Lisp: library sources

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 source lisp files to the compiled libraries supplied in the ACL2-books package.

标签: 软件开发: 解释器, Lisp 开发, 实做语言: implemented-in::lisp, interface::text-mode, 角色: 程序, 原代码, 界面工具箱: Ncurses TUI

其他与 acl2-books-source 有关的软件包

依赖

推荐

建议

增强

dep: acl2 (>= 8.5dfsg-6)

Computational Logic for Applicative Common Lisp: main binary
dep: tex-common (>= 6.13)

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

下载 acl2-books-source

下载可用于所有硬件架构的
硬件架构	软件包大小	安装后大小	文件
all	24,082.2 kB	207,234.0 kB	[文件列表]