We discussed the Tutch proof checker, and did some examples of Tutch and natural deduction proofs.
Reading:
[ Home | Schedule | Assignments | Handouts | Software ]
fp@cs Frank Pfenning