flux
flux copied to clipboard
Published
20 hours ago •
flux-rs
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