Date:
Thursday, 29 May, 2025 - 17:00 to 18:00
Speaker:
Jonas Bayer (University of Cambridge)
Venue:
MR14 Centre for Mathematical Sciences
If you have a question about this talk, please contact Anand Rao Tadipatri.
=== 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
