Some ACL2 course materials
The links listed below will take you to materials for some courses that involve ACL2. This list is loosely maintained and incomplete, and is given in no particular order. We strongly encourage you to send email to Matt Kaufmann and J Strother Moore if you have additional such links to contribute; or if you are a contributor to the ACL2 community-books, please feel free to add them yourself.