Log in
Sign up
Sign up for Zulip
Verus
https://verus-lang.zulipchat.com
The Zulip community for
Verus
, a tool for verifying the correctness of code written in Rust.
You need an invitation to join this organization.
Email
Sign up
OR
Sign up with Google
Sign up with GitHub
Sign up with GitLab
Already have an account?
Log in
