This list is divided into Talks Books, Articles, and Other.

Those entries marked * are my favorite papers. For each such paper I have a short note explaining the basic idea, or, in the case of the two theorem provers (NQTHM and ACL2), giving a quick overview of the entire body work on the subject. You may click on the * to see the related note.

You may return to my home page here.

About ACL2

This link contains some introductory resources for learning how to use the ACL2 theorem proving system.


The PDF versions of some of these talks were produced using ps2pdf and are not always formatted as nicely as the Postscript versions.