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.
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.