Can proofs by mathematical induction be explanatory?

Time
Friday, 15. December 2023
11:45 - 13:15

Location
D 435

Organizer
Leon Horsten, Carolin Antos, Sam Roberts

Speaker:
Sofie Vaas (Master's Student, University of Konstanz)