GitHub repository: semorrison/hott-2017
Primary language: TeX
Created: 2017-02-22T08:16:17Z
Description: Homotopy type theory reading group at ANU, 2017