On symmetry and introducing the language of homotopy type theory for univalent foundations of mathematics:
univalent foundations of mathematics
UniMath project
Last revised on February 3, 2023 at 16:29:17. See the history of this page for a list of all contributions to it.