GitHub repository: tezedge/tezedge-specification
Primary language: TLA
Description: TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus