cstms.berkeley.edu
Workshop on Mathematical Reasoning
[SPEAKERS] Jonathan Ettel, Stanford University Arezoo Islami, Stanford University Rebecca Morris, Stanford University John Mumma, California State University of San Bernardino Marco Panza, IHPTS, C…