GitHub repository: Isaac-DeFrain/tezedge-specification
Primary language: TLA
Description: TLA+ specifications and models for the Tezedge p2p overlay network, shell, and consensus