/Bats-tla

BATS protocol TLA+ specifications

Primary LanguageTLAMIT LicenseMIT

No issues in this repository yet.