Introduction to Proof Systems: 2024-2025
Timetables
Lecturer | |
Term | Trinity Term 2025 (12 lectures) |
Lectures | Trinity Term 2025Monday, 10:00 - 11:00 ( Weeks 1-4 ) LTA Tuesday, 10:00 - 11:00 ( Weeks 1-4 ) LTA Thursday, 10:00 - 11:00 ( Weeks 1-4 ) LTA |
Lecturer | |
Term | Trinity Term 2025 (12 lectures) |
Lectures | Trinity Term 2025Monday, 10:00 - 11:00 ( Weeks 1-4 ) LTA Tuesday, 10:00 - 11:00 ( Weeks 1-4 ) LTA Thursday, 10:00 - 11:00 ( Weeks 1-4 ) LTA |