CS 8803 Computational Logic
Spring 2006

Tools

ACL2

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