GitHub repository: DanGrayson/UniMath
Primary language: Coq
Description: A unified approach to formalization of mathematical knowledge based on Univalent Foundations.