GitHub repository: simplestaking/model-p2p
Primary language: TLA
Description: TLA+ models for the Tezos p2p layer