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