search

flux-rs / flux

Refinement Types for Rust
MIT License
648 stars 21 forks source link

meta: improve community outreach #776

Open Samir-Rashid opened 2 months ago

Samir-Rashid commented 2 months ago

Make a Matrix/Slack/Discord/whatever chatroom to help new users. I don't think GitHub issues and discussions fills this need.

https://github.com/verus-lang/verus?tab=readme-ov-file#status