Fibril is an experimental collection of Rust crates for implementing and verifying distributed systems.

Usage

Please see the fibril_verifier docs.