Sign up for Zulip

Flux
https://flux-rs.zulipchat.com

Community chat about the Flux refinement type checker for Rust (https://github.com/flux-rs/flux)

You need an invitation to join this organization.
OR