<img src="assets/logo-wide.svg" alt="flux logo" class="flux-logo">
flux is a refinement type checker for Rust.
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.