Date:
Thursday, 8 May, 2025 - 17:00 to 18:00
Speaker:
Andrew Yang (Imperial College, London)
Venue:
MR14 Centre for Mathematical Sciences
=== Hybrid talk ===
Join Zoom Meeting https://cam-ac-uk.zoom.us/j/87143365195?pwd=SELTNkOcfVrIE1IppYCsbooOVqenzI.1
Meeting ID: 871 4336 5195
Passcode: 541180
Seminar series:
Formalisation of mathematics with interactive theorem provers