[101] add HoTT reading group details