A 15-page introduction to HoTT [pdf]math.uchicago.edu2 points·Koshkin··0 commentsOpen articleSaveView on HN