De fascinatievolger deel 16: Dr. Floris van Doorn (homotopy type theory, bewijsassistenten)
De fascinatievolger wetenschapspodcast · 27 feb 2020 · 00:22:30
-00:22:30
15
30
