Date:
Thursday, 19 June, 2025 - 17:00 to 18:00
Speaker:
Jujian Zhang (Imperial College London) and Arnaud Mayeux (The Hebrew University of Jerusalem)
Venue:
MR14 Centre for Mathematical Sciences
=== 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
