Formalized Mathematics
Primary LanguageCoq
Mathematical formalizations based on the Univalent Foundations of mathematics.