Homotopy type theory and univalent foundationsDate: May 10, 2023 Bluesky Facebook LinkedIn Mastodon X (formerly Twitter) Previous Next