# Computation and Deduction 2009

From The Twelf Project

These are notes for Computation and Deduction 2009.

Code from February 4. Homework: complete the progress proof.

Code from February 9. Homework: complete the preservation proof.

Writeup of the material on canonical forms LF presented on February 11.

Code from March 4. Homework: complete the proof of the subst lemma.

Code from March 16. Homework: complete the trans/ifz and trans/app cases. ( Incomplete solution.)

Project ideas from 15-851 1997: [1]