1 2 3 4 5 6
Fibril is an experimental collection of [Rust](https://www.rust-lang.org/) crates for implementing and verifying distributed systems. # Usage Please see [the `fibril_verifier` docs](https://docs.rs/fibril_verifier/).