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

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

本页其他语言版本如下（如何设置默认文档语言）：