Date:
Thursday, 11 June, 2026 - 17:00 to 18:00
Speaker:
Cameron Freer (MIT)
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
