Introduction to Proof Systems: 2025-2026

Timetables

Lecturer	Christoph Haase
Term	Trinity Term 2026 (12 lectures)
Lectures	Trinity Term 2026 Monday, 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