[[!redirects local activities]] ## CMU-HoTT Research Group's Local Activities ## Here are some links to things happening at CMU. * Marc Bezem's [[HoTT Mini-Course]], Spring 2016.