Date:
Thursday, 16 May, 2024 - 17:00 to 18:00
Speaker:
Patrick Massot (Université Paris-Saclay and Carnegie Mellon University)
Venue:
Live-streamed at MR14 Centre for Mathematical Sciences
Abstract not available
Seminar series:
Formalisation of mathematics with interactive theorem provers