Log in Sign up

Log in to Zulip

Verus
https://verus-lang.zulipchat.com

The Zulip community for Verus, a tool for verifying the correctness of code written in Rust.

OR
OR

Product

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

Solutions

  • Business
  • Education
  • Research
  • Events & conferences
  • Open source projects
  • Communities
  • Engineers
  • 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