Fibril is an experimental collection of Rust crates for implementing and verifying distributed systems.
Usage
Please see the fibril_verifier docs.
- Coverage
- 50%
1 out of 2 items documented1 out of 1 items with examples - Links
-
jonnadal/fibril
4 0 2 - crates.io
- Dependencies
- Versions
- Owners
-