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