/SASwap_TLAplus_spec

TLA+ specification for Succinct Atomic Swap smart contract

Primary LanguageTLAOtherNOASSERTION

Watchers