Date:
Thursday, 23 February, 2023 - 17:00 to 18:00
Speaker:
Mantas Bakšys (University of Cambridge)
Venue:
Centre for Mathematical Sciences MR12, CMS
TBC
Seminar series:
Formalisation of mathematics with interactive theorem provers
Department of Computer Science and Technology
TBC
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
© 2023 University of Cambridge