ACL2: Implementation of a Computational Logic

Please visit
the current version of the website for this talk.
I thank Marijn Heule, Warren Hunt, and Sandip Ray for very useful feedback on the earlier version given in the April 5, 2019 seminar.

[Below are materials from that earlier seminar version:

• Abstract
• Without pauses
• With pauses
• Demos (referenced on slides)
  • Demo 1: input and log
  • Demo 2: input and log

]