Date:
Thursday, 23 May, 2024 - 17:00 to 18:00
Speaker:
Georges Gonthier
Venue:
Live-streamed at MR14 Centre for Mathematical Sciences
Abstract not available
Seminar series:
Formalisation of mathematics with interactive theorem provers
Department of Computer Science and Technology
Abstract not available
Department of Computer Science and Technology
University of Cambridge
William Gates Building
15 JJ Thomson Avenue
Cambridge
CB3 0FD
Information provided by pagemaster@cst.cam.ac.uk
© 2024 University of Cambridge