Date:
Thursday, 6 November, 2025 - 17:00 to 18:00
Speaker:
Jasmin Blanchette (Ludwig-Maximilians-Universität München)
Venue:
Online; live-streamed at MR14 Centre for Mathematical Sciences
=== Online 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
