Log in Sign up

Log in to 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.

Forgot your password?
OR
Don't have an account? Sign up

Product

  • Why Zulip
  • Features
  • Plans & pricing
  • Self-hosting
  • Security
  • Integrations
  • Desktop & mobile apps
  • New organization
  • Log in
  • Find accounts

Solutions

  • Business
  • Education
  • Research
  • Events & conferences
  • Open source projects
  • Communities
  • Customer stories
  • Open communities

Resources

  • Getting started
  • Help center
  • Community chat
  • Contact support
  • Get a demo
  • Partners
  • Zulip Cloud status
  • Moving to Zulip
  • Installing a Zulip server
  • Upgrading a Zulip server

Contributing

  • Contributing guide
  • Development community
  • Translation
  • API
  • GitHub

About us

  • Team & History
  • Values
  • Jobs
  • Blog
  • Support Zulip
© Kandra Labs, Inc. (“Zulip”)
Terms of Service Privacy policy Website attributions