flux
flux copied to clipboard
flux-rs
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.
flux-rs