[[!redirects local activities]] ## CMU-HoTT Research Group's Local Activities ## Here are some links to things happening at CMU. * CMU-HoTT research group [website](https://cmuhott.wordpress.com) * Marc Bezem's [[HoTT Mini-Course]], Spring 2016. * Steve's slides from the 2018 HoTT-MURI meeting: [[awodeyMURI18.pdf:file]] category: events