套件：acl2-books-certs（8.5dfsg-5）

[ 原始碼： 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, 角色: 開發用函式庫, 程式, Interface Toolkit: uitoolkit::ncurses, works-with::software:source

其他與 acl2-books-certs 有關的套件

• dep: acl2 (>= 8.5dfsg-5)

  Computational Logic for Applicative Common Lisp: main binary

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

下載 acl2-books-certs

下載可用於所有硬體架構的

硬體架構	套件大小	安裝後大小	檔案
all	174，194。4 kB	661，910。0 kB	[檔案列表]