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

软件包:acl2(8.5dfsg-6)

acl2 的相关链接

Screenshot

Debian 的资源:

下载源码包 acl2

维护者:

外部的资源:

相似软件包:

Computational Logic for Applicative Common Lisp: main binary

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 base ACL2 binary.

标签: 软件开发: 解释器, Lisp 开发, 领域: field::mathematics, implemented-in::lisp, 用户接口: 命令行, interface::text-mode, role::program, 范围: 实用程序, 界面工具箱: uitoolkit::ncurses, works-with::software:source

其他与 acl2 有关的软件包

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

下载 acl2

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
amd64 22,584.5 kB246,024.0 kB [文件列表]
arm64 20,677.6 kB238,392.0 kB [文件列表]
armel 18,507.8 kB173,053.0 kB [文件列表]
armhf 18,861.7 kB165,039.0 kB [文件列表]
i386 19,629.3 kB168,609.0 kB [文件列表]
mips64el 20,469.5 kB248,236.0 kB [文件列表]
ppc64el 22,190.9 kB326,924.0 kB [文件列表]
riscv64 21,652.8 kB231,686.0 kB [文件列表]
s390x 22,464.8 kB235,287.0 kB [文件列表]