Introduction to Formal Proof: 2022-2023
Timetables
Lecturer | |
Term | Trinity Term 2023 (10 lectures) |
Lectures | Trinity Term 2023Wednesday, 12:00 - 13:00 ( Weeks 1-5 ) LTB Friday, 14:00 - 15:00 ( Weeks 1-2 ) LTB Friday, 12:00 - 13:00 ( Weeks 3-5 ) LTB |
Lecturer | |
Term | Trinity Term 2023 (10 lectures) |
Lectures | Trinity Term 2023Wednesday, 12:00 - 13:00 ( Weeks 1-5 ) LTB Friday, 14:00 - 15:00 ( Weeks 1-2 ) LTB Friday, 12:00 - 13:00 ( Weeks 3-5 ) LTB |