Sign up for Zulip

HoTT Intro
https://hott-intro.zulipchat.com

Introduction to Homotopy Type Theory course.

You need an invitation to join this organization.
OR