GitHub repository: nyraghu/ufcoq-notes
Primary language: TeX
Created: 2020-03-03T08:04:01Z
Description: Notes on univalent foundations with Coq