flux is a refinement type checker for Rust.

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.