/UniMath

A unified approach to formalization of mathematical knowledge based on Univalent Foundations.

Primary LanguageCoqOtherNOASSERTION

No issues in this repository yet.