GitHub repository: unimath2019-tt/TypeTheory
Primary language: Coq
Description: The mathematical study of type theories, in univalent foundations