For this course, you have to use the experimental version of ACL2 we are developing. Information on how to do this can be found here.
Read appendix A of Computer-Aided Reasoning (CAR) for
information on using the ACL2 system. Appendix B also contains
useful information. Finally, the Hyper-Card
for ACL2 Programming is a consise Web page with useful
information for beginners.
Last modified: Thu Feb 9 14:33:16 EST 2006