Help and Discussions

Flux is a refinement type checker for Rust.

If you need help using Flux or would like to discuss, you can post on the discussions forum or join our Zulip chat!

Online Demo

For an overview, take a look at the Flux website.

Documentation, including installation and usage guides can be found on the website.

Name		Name	Last commit message	Last commit date
Latest commit History 1,488 Commits
.cargo		.cargo
.github/workflows		.github/workflows
assets		assets
book		book
crates		crates
lib		lib
tests		tests
tools		tools
xtask		xtask
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
LICENSE		LICENSE
NOTES.md		NOTES.md
README.md		README.md
backtracetk.toml		backtracetk.toml
clippy.toml		clippy.toml
rust-toolchain		rust-toolchain
rustfmt.toml		rustfmt.toml
typos.toml		typos.toml