Introduction to Formal Proof: 2020-2021
Timetables
Lecturer | |
Term | Trinity Term 2021 (10 lectures) |
Lectures | Trinity Term 2021Monday, 12:00 - 13:00 ( Weeks 1-5 ) via MS Teams Wednesday, 12:00 - 13:00 ( Weeks 1-5 ) via MS Teams |
Lecturer | |
Term | Trinity Term 2021 (10 lectures) |
Lectures | Trinity Term 2021Monday, 12:00 - 13:00 ( Weeks 1-5 ) via MS Teams Wednesday, 12:00 - 13:00 ( Weeks 1-5 ) via MS Teams |