Sign up for Zulip

Dafny

https://dafny.zulipchat.com

The Zulip organization for Dafny. Dafny is a verification-aware programming language that has native support for recording specifications and is equipped with a static program verifier.

You need an invitation to join this organization.