FTP Search

Directory (beta)

Content Search (beta)

acl2-books-source - A Computational Logic for Applicative Common Lisp: library sources

/Main/Ubuntu/all/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 source lisp files to the compiled libraries supplied in the ACL2-books package.

Homepage:	-
Package version:	3.0-1
Architecture:	all
Distribution:	Ubuntu
Filename:	acl2-books-source_3.0-1_all.deb

---

Browse inside acl2-books-source_3.0-1_all.deb:

pkg://acl2-books-source_3.0-1_all.deb:1666624/  downloads

572 B  2006-06-20control  view  650+ mirrors
74.74 KB  2006-06-20md5sums  view
[DIR]usr/  1000+ twin directories

---

Download acl2-books-source_3.0-1_all.deb:

2006-06-20  ftp://ftp.ens-cachan.fr/mirror/ubuntu/pool/universe/a/acl2/acl2-books-source_3.0-1_all.deb
2006-06-20  ftp://ftp.udc.es/mirror/ubuntu/pool/universe/a/acl2/acl2-books-source_3.0-1_all.deb
2006-06-20  ftp://ftp.man.szczecin.pl/pub/Linux/ubuntu-security/pool/universe/a/acl2/acl2-books-source_3.0-1_all.deb
2006-06-20  ftp://ftp.ucr.ac.cr/pub/Unix/linux/distribuciones/ubuntu/pool/universe/a/acl2/acl2-books-source_3.0-1_all.deb
2006-06-20  ftp://ftp.informatik.rwth-aachen.de/pub/comp/Linux/ubuntu/ubuntu/pool/universe/a/acl2/acl2-books-source_3.0-1_all.deb
2006-06-20  ftp://ftp.wh8.tu-dresden.de/pub/linux/distributions/ubuntu/pool/universe/a/acl2/acl2-books-source_3.0-1_all.deb
2006-06-20  ftp://ftp.monash.edu/pub/linux/ubuntu/pool/universe/a/acl2/acl2-books-source_3.0-1_all.deb
2006-06-20  ftp://ftp.polytechnic.edu.na/pub/ubuntu/ubuntu/pool/universe/a/acl2/acl2-books-source_3.0-1_all.deb
2006-06-20  ftp://ftp.sh.cvut.cz/storage/1/ubuntu/pool/universe/a/acl2/acl2-books-source_3.0-1_all.deb
2006-06-20  ftp://ftp.rd.cri74.org/ubuntu/pool/universe/a/acl2/acl2-books-source_3.0-1_all.deb