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

[ 源代码： acl2  ]

Computational Logic for Applicative Common Lisp: source files

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 lisp source files to the main ACL2 binary.

标签: 软件开发: 解释器, Lisp 开发, 领域: field::mathematics, implemented-in::lisp, 用户接口: 文本模式, 角色: role::program, role::source, 界面工具箱: Ncurses TUI

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

• dep: tex-common (>= 6)

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

下载 acl2-source

下载可用于所有硬件架构的

硬件架构	软件包大小	安装后大小	文件
all	3,009.1 kB	16,211.0 kB	[文件列表]