Flux is a refinement type checker for Rust.
If you need help using Flux or would like to discuss, you can post on the discussions forum or join our Zulip chat!
You can try Flux online at this site.
For an overview, take a look at the Flux website.
Documentation, including installation and usage guides can be found on the website.