<img src="assets/logo-wide.svg" alt="flux logo" class="flux-logo">

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.