kit-dsn/payment-channel-tla

Specification of a protocol for payment channels in TLA+

TLA