Type Theory Lectures All lectures Questions for zachet Lecture 1 Lecture 2 Lecture 3 Lecture 4 Lecture 5 Lecture 6 Lecture 7 Lecture 8 Lecture 9 Lecture 10 Lecture 11 Lecture 12 Lecture 13 Lecture 14 Lecture 15 Labs Task A Task B Statements HWs 1 2 3 Some Arend stuff Some other stuff