2 ms·Neither of which deal directly with Homotopy Type theory AFAIK.by fogus 15y agoNeither of which deal directly with Homotopy Type theory AFAIK.