Date:
Thursday, 30 October, 2025 - 17:00 to 18:00
Speaker:
Jovan Gerbsheid (University of Cambridge)
Venue:
Centre for Mathematical Sciences, MR14
=== Hybrid talk ===
Join Zoom Meeting https://cam-ac-uk.zoom.us/j/89856091954?pwd=Bba77QB2KuTideTlH6PjAmbXLO8HbY.1
Meeting ID: 898 5609 1954 Passcode: ITPtalk
Seminar series:
Formalisation of mathematics with interactive theorem provers
