Midwest Homotopy Type Theory Seminar - Spring 2020