-
AWM Seminar with Dr. Emily Riehl
AWM Seminar with Dr. Emily Riehl
 Dr. Riehl will be giving an interactive talk where we will play the natural numbers game and learn about formalizing mathematics in a computer-proof assistant! We ask that everyone who attends bring a laptop so that they can more easily participate.