Homotopy Type Theory and categorical algebra experiments in the style of UniMath
Primary LanguageAgdaOtherNOASSERTION