Introduction to Proof Systems: 2025-2026
Timetables
Lecturer | |
Term | Trinity Term 2026 (12 lectures) |
Classes | Trinity Term 2026Revision Class - Tuesday, 13:30 - 15:00 ( Week 7 ) LTA |
Lectures | Trinity Term 2026Monday, 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 |