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