Sign up for Zulip

Prusti
https://prusti.zulipchat.com

Chat app for the development and support of Prusti.

Project links:

You need an invitation to join this organization.
OR