全部搜索项
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ 源代码: acl2  ]

软件包:acl2-doc(8.0dfsg-1)

acl2-doc 的相关链接

Screenshot

Debian 的资源:

下载源码包 acl2

维护者:

相似软件包:

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 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • 增强

下载 acl2-doc

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
all 392.1 kB1,155.0 kB [文件列表]