statechannels/tla-specs

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

TLA