skip to content

Department of Computer Science and Technology

Date: 
Thursday, 2 May, 2024 - 17:00 to 18:00
Speaker: 
Dr Johan Commelin (Utrecht University)
Venue: 
Live-streamed at MR14 Centre for Mathematical Sciences

Abstract not available

Seminar series: 
Formalisation of mathematics with interactive theorem provers

Upcoming seminars