/tla-specs

TLA+ specifications of various protocols used by wallets in the nitro protocol.

Primary LanguageTLA

No issues in this repository yet.