Plenary Lecture & Discussion
Dagan Karp speaking at the BIRS workshop 24w5212: Building and Enhancing Mathematical Reasoning (Apr 28 - May 03). Recorded by the Banff International Research Station for Mathematical Innovation and Discovery.