and [[Homotopy Type Theory]] maybe on deniz

and [[Homotopy Type Theory]] maybe on denizhttps://denizaydemir.com/graph/a-unifying-language-enables-further-discovery/6a4d493d-2a3d-47cb-a413-49e8aed8894d/6a4d493d-515e-427b-8d15-b97bf66e135f/6a4d493d-4db0-4ad9-a9c8-48176fbedc15/Recent content in and [[Homotopy Type Theory]] maybe on denizHugoen-us