12:00 pm - 1:30 pm Work In Progress Seminar: Emily Riehl November 6, 2023 @ 12:00 pm - 1:30 pm Work In Progress Seminar: Emily Riehl Emily Riehl, Johns Hopkins "Psychological and sociological aspects of computer formalizations vs traditional pen-and-paper mathematics"