dgpv / SASwap_TLAplus_spec

TLA+ specification for Succinct Atomic Swap smart contract

Geek Repo

Github PK Tool