Michael Kohlhase: Aspects of Mathematical Knowledge - The Tetrapod Model External Video-URL https://www.youtube.com/watch?v=i_DozrGrD7g Preview-Image