ParentFull threadvez-·Check out Homotopy Type Theory / Univalent Type Theory and HoTTest summer school :)View on HN