Univalent Mathematics
Expert@UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
views 0 projects
Apply A unified approach to formalization of mathematical knowledge based on Univalent Foundations.