|
|
|
acl2-infix - A Computational Logic for Applicative Common Lisp: infix interface
/Main/Debian/m68k/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 utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.
Homepage: - Package version: 2.9.2-1 Architecture: m68k Distribution: Debian Filename: acl2-infix_2.9.2-1_m68k.deb
Browse inside acl2-infix_2.9.2-1_m68k.deb:
pkg://acl2-infix_2.9.2-1_m68k.deb:178432/ downloads666 B 2005-06-16control view 650+ mirrors
534 B 2005-06-16md5sums view 370+ mirrors
106 B 2005-06-16postinst view 153 mirrors
125 B 2005-06-16postrm view 107 mirrors
[DIR]usr/ 1000+ twin directories
Download acl2-infix_2.9.2-1_m68k.deb:
2005-06-16 ftp://ftp.nsysu.edu.tw/Linux/Debian/debian/pool/main/a/acl2/acl2-infix_2.9.2-1_m68k.deb
2005-06-16 ftp://ftp.cpan.nl/pub/debian/pool/main/a/acl2/acl2-infix_2.9.2-1_m68k.deb
2005-06-16 ftp://ftp.uni-wuppertal.de/pub/linux/debian/pool/main/a/acl2/acl2-infix_2.9.2-1_m68k.deb
2005-06-15 ftp://ftp.ncku.edu.tw/Linux/Debian/debian/pool/main/a/acl2/acl2-infix_2.9.2-1_m68k.deb
2005-06-15 ftp://ftp.csie.chu.edu.tw/pub2/Debian/pool/main/a/acl2/acl2-infix_2.9.2-1_m68k.deb
| Results 1 - 1 |