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

[ 原始碼： acl2 ]

套件：acl2-doc（8.0dfsg-1）

acl2-doc 的相關連結

Debian 的資源：

下載原始碼套件 acl2：

維護者：

Camm Maguire (QA 頁面)

相似套件：

Computational Logic for Applicative Common Lisp: documentation

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 documentation for ACL2.

標籤: 軟體開發: 文件, 直譯器, Lisp 開發, 領域: field::mathematics, made-of::html, 角色: 文件, role::program, works-with::software:source

其他與 acl2-doc 有關的套件

依賴

推薦

建議

增強

dep: dpkg (>= 1.15.4)

Debian 套件管理系統

或者 install-info

Manage installed documentation in info format
dep: tex-common (>= 6)

common infrastructure for building and installing TeX

下載 acl2-doc

下載可用於所有硬體架構的
硬體架構	套件大小	安裝後大小	檔案
all	392。1 kB	1，155。0 kB	[檔案列表]