Workshop on Homotopy Type Theory / Univalent Foundations 2025
(Placeholder; it’s a pity that the idea of writing a blog came to me almost a year after attending this workshop!)
(Placeholder; it’s a pity that the idea of writing a blog came to me almost a year after attending this workshop!)