Flux is a refinement type checker for Rust.
Help and Discussions
If you need help using Flux or would like to discuss, you can post on the discussions forum or join our Zulip chat!
Online Demo
You can try Flux online at this site.
Overview
For an overview, take a look at the Flux website.
Docs
Documentation, including installation and usage guides can be found on the website.
Sponsors
Zulip — Zulip Cloud Standard generously provided free of charge.