flux
flux copied to clipboard
Refinement Types for Rust
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.