A model checker for implementing distributed systems.
Primary LanguageRustMIT LicenseMIT
No issues in this repository yet.