 |
| FTP Search |
| Directory |
| Content Search |
|
|
|
|
acl2
A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/alpha/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.2-1 Architecture: alpha Distribution: Debian Filename: acl2_3.2-1_alpha.deb Browse inside acl2_3.2-1_alpha.deb:
Download acl2_3.2-1_alpha.deb:
| Results 1 - 1 |