Professor Warren Hunt: Introduction to ACL2

Concerning my presentation (later today), you could
provide these pointers for the interested student.

  ACL2 Website:  http://acl2.org

  Have a look at a "Gentle Introduction to ACL2" and the "Walking Tour".

  Recorded Lectures:  http://fm.csl.sri.com/SSFT21

  Class Materials for CS340d:

    http://www.cs.utexas.edu/users/hunt/class/2023-spring/cs340d/cs340d.html

  And, in general, more course materials can be found here:

    https://www.cs.utexas.edu/users/moore/acl2/manuals/latest/?topic=ACL2____COURSE-MATERIALS