全部搜索项
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

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
ppc64el 22,190.9 kB326,924.0 kB [文件列表]