全部搜索项
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ 源代码: acl2  ]

软件包: acl2-infix (4.0-3)

acl2-infix 的相关链接

Screenshot

Debian 的资源:

下载源码包 acl2:

维护者:

相似软件包:

A Computational Logic for Applicative Common Lisp: infix interface

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 utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.

标签: Software Development: Interpreter, Lisp Development, 链接库, Field: 数学, Implemented in: Lisp, Role: Application Data, Works with: Source Code

其他与 acl2-infix 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • enhances

下载 acl2-infix

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