GitHub repository: nyraghu/ufcoq-code
Primary language: Coq
Created: 2020-09-11T10:42:20Z
Description: Code for univalent foundations with Coq