Zulip

Use Zulip for questions, technical and design discussion, research conversations, and collaboration. Start a topic about Kani in the wg-formal-methods channel of the Rust project Zulip.

GitHub

Use GitHub issues for bug reports, feature requests, and tracked engineering work. For open-ended questions, GitHub Discussions is also available.

Security

To report a security issue, follow the security policy. Do not open a public issue.