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