Table of Contents
ACL2 Books Repository
The acl2-books Google
group allows you to contribute ACL2 books (input files), and also
to update to the latest version if you don't want to wait for the next
ACL2 release. Quoting from that web site:
This site is for community-driven development for the basic ACL2 libraries,
which deal with topics like arithmetic, data structures, and hardware
modelling. We're working with the authors of ACL2 and our changes are
eventually incorporated into official ACL2 releases.
Performance Comparisons
To appear
ACL2 Course Materials
At some point, perhaps "ACL2 Course Materials" will be a top-level link on the
ACL2 home page. For now, we provide some links.
Links to some of J Moore's courses, many of which use ACL2, may be found here.
A course taught by Rex Page at the
Univ. of Oklahoma, and related links.
Eric Smith's web page for a class at Stanford