Repos by UniMath

UniMath / repos

19 repos

«12»
RepoLanguageStarsRank
UniMath/UniMath on GithubUniMathCoq9114
UniMath/SymmetryBook on GithubSymmetryBookHTML3632,900
UniMath/Foundations on GithubFoundationsCoq23621
UniMath/agda-unimath on Githubagda-unimathAgda20613
UniMath/TypeTheory on GithubTypeTheoryCoq11050
UniMath/Schools on GithubSchoolsCoq7079
UniMath/2006_03_Homotopy_lambda_calculus on Github2006_03_Homotopy_lambda_calculusunknown13125,533
UniMath/largecatmodules on GithublargecatmodulesCoq11441
UniMath/SetHITs on GithubSetHITsCoq8558
UniMath/Universe_Polymorphic_Type_System on GithubUniverse_Polymorphic_Type_Systemunknown7207,716