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