软件包：acl2-books-certs（8.0dfsg-1）

[ 源代码： acl2  ]

Computational Logic for Applicative Common Lisp: library certificates

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 file contains certification records for the various precompiled libraries supplied in the ACL2-books package. ACL2 essentially requires that all included books be certified before use.

标签: 软件开发: 解释器, Lisp 开发, devel::library, field::mathematics, 实做语言: Lisp, 用户接口: interface::text-mode, role::app-data, 角色: 开发用函数库, 程序, 界面工具箱: uitoolkit::ncurses, works-with::software:source

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

• dep: acl2 (>= 8.0dfsg-1)

  Computational Logic for Applicative Common Lisp: main binary

• dep: tex-common (>= 6)

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

下载 acl2-books-certs

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

硬件架构	软件包大小	安装后大小	文件
all	71,588.7 kB	265,716.0 kB	[文件列表]