 |
| FTP Search |
| Directory (beta) |
| Content Search (beta) |
|
|
|
|
acl2
A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/amd64/math/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.
Info:
Homepage: - Package version: 3.3-1 Architecture: amd64 Distribution: Debian Filename: acl2_3.3-1_amd64.deb Browse inside acl2_3.3-1_amd64.deb:
Download acl2_3.3-1_amd64.deb:
| Results 1 - 1 |