3 ms·
>I think there’s some pretty cool applications to be built upon homotopy type theory/ univalent foundations. constructive type theory and TDA are very differen
by mathisfun123 3y ago
>I think there’s some pretty cool applications to be built upon homotopy type theory/ univalent foundations.
constructive type theory and TDA are very different things even if they do both have `topo` in their names.