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.

OR
Forgot your password? Sign up

Product

  • Home
  • Why Zulip
  • Features
  • Plans & pricing
  • Self-hosting
  • Desktop & mobile apps
  • Security
  • Integrations

Solutions

  • Business
  • Education
  • Research
  • Events and conferences
  • Open source projects
  • Communities

Customer stories

  • iDrift AS Company
  • Technical University of Munich
  • University of California San Diego
  • Lean theorem prover community
  • Asciidoctor open-source community
  • Rust language community
  • Recurse Center
  • Open communities directory

Accounts

  • New organization
  • Terms of Service
  • Privacy policy

For users

  • Getting started
  • Help center
  • Community chat
  • Contact support
  • Blog

For administrators

  • Setting up your organization
  • Installing a Zulip server
  • Upgrading a Zulip server
  • Modifying Zulip

For contributors

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

About us

  • Team & History
  • Values
  • Twitter
  • Jobs
  • Website attributions
  • Sponsor Zulip