Sign up for Zulip
HoTT
https://hott.zulipchat.com
A friendly and relaxed place for online discussions about anything related to homotopy type theory. We discuss both formal and informal approaches, and we work with Coq, Agda, Cubical TT, and other systems.
You need an invitation to join this organization.
OR
Already have an account? Log in