There will be 4-5 problems sets for you to solve individually.
The problems will involve writing proofs by hand and creating
proofs using machines (software).
You may use the Latex source files provided below for writing
the solutions. If you do, you will also need this prelude1.tex file.
Homework 1: Posted September 15, due October 2nd. .pdf.tex
Homework 2: Posted October 06, due October 23rd.
.pdf.tex.zip
Homework 3: Posted November 12, due December 4th.
.pdf.tex