Computational Logic for Applicative Common Lisp: infix interface
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
acl2 (4.3-3) unstable; urgency=low
* Bug fix: "unowned file /usr/local/share/texmf/ls-R after purge (policy
6.8, 9.1.2)", thanks to Andreas Beckmann (Closes: #669380).
* Bug fix: "FTBFS: | /«PKGBUILDDIR»/books/tools/defsum.c:7456:5: error:
expected expression before ')' token", thanks to Lucas
Nussbaum (Closes: #669442). Build-dep on latest gcl
-- Camm Maguire <camm@d
This package was debianized by Camm Maguire <firstname.lastname@example.org> on
Sat, 26 Oct 2002 11:58:58 -0400.
It was downloaded from ftp://ftp.cs.utexas.edu:/pub/moore/acl2/v2-8/
Matt Kaufmann,email@example.com (main program)
J Strother Moore,firstname.lastname@example.org (main program)
University of Texas at Austin
Browse inside acl2-infix_4.3-3_sparc.deb
Results 1 - 1 of 1Search over 15 billion files
© 1997-2017 FileWatcher.com