GitHub repository: statechannels/tla-specs
Primary language: TLA
Created: 2020-06-03T23:37:11Z
Description: TLA+ specifications of various protocols used by wallets in the nitro protocol.