1. 6

A casual, ground-up introduction to automated theorem proving.

Parts two, three, and four.

  1.