GitHub repository: HoTT/HoTT-2019
Primary language: CSS
Created: 2018-06-13T09:19:34Z
Description: Conference on Homotopy Type Theory 2019