3 ms·

Thanks jkhdigital! Of course, mathematical foundations must not be inconsistent. Homotopy type theory is an attempt address issues of equality in type theory

Thanks jkhdigital! Of course, mathematical foundations must not be inconsistent. Homotopy type theory is an attempt address issues of equality in type theory.