Welcome to ftp.nluug.nl Current directory: /os/Linux/distr/salix/sbo/15.0/academic/acl2/ |
|
Contents of README:ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models. "ACL2" denotes "A Computational Logic for Applicative Common Lisp". ACL2 is part of the Boyer-Moore family of provers, for which its authors have received the 2005 ACM Software System Award There is some support for Emacs >24 in /opt/acl2/books/emacs/ |
Name Last modified Size
Parent Directory - README 22-Jul-2023 10:57 402 acl2 22-Jul-2023 10:57 77 acl2.SlackBuild 22-Jul-2023 10:57 2.8K acl2.info 22-Jul-2023 10:57 341 slack-desc 22-Jul-2023 10:57 945
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!