Filewatcher File Search
FTP Search
  
Directory 
  
Content Search 
   

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.

Info:

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:

Download acl2-infix_2.9.2-1_m68k.deb:

2004-06-16  ftp://ftp.csie.chu.edu.tw/pub2/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-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-15  ftp://ftp.ncku.edu.tw/.snapshot/nightly.9/Linux/Debian/debian/pool/main/a/acl2/acl2-infix_2.9.2-1_m68k.deb

Results 1 - 1
Help - FTP Sites List - Software Dir.
Searching half a billion files worldwide
© 1997-2009 MARUHN Internet Solutions