byorgey/hott: is archived
HoTT

This goal has the following fine print specified by byorgey:

Spend time reading or preparing for HoTT reading group. Counts towards research but not thesis.