Date:
Thursday, 27 November, 2025 - 17:00 to 18:00
Speaker:
René Thiemann (University of Innsbruck)
Venue:
MR14 Centre for Mathematical Sciences
TBC
=== Hybrid talk ===
Join Zoom Meeting
Seminar series:
Formalisation of mathematics with interactive theorem provers
