tutorial introduction to ACL2 Major Section: ACL2 Documentation To learn about ACL2, read at least the first two links below. If you want to learn how to use ACL2, we recommend you read the first four links below, in the order listed. * Industrial Applications of ACL2 (10 minutes) to help you understand what sophisticated users can do * A Flying Tour (10 minutes) to get an overview of the system a