15-399 Constructive Logic
Lecture 20: Review

We complete the discussion of capturing data structure invariants via dependent types and then review the material in the second segment of the course, concerned with first-order logic and type theory.