/tezedge-specification

TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus

Primary LanguageTLAMIT LicenseMIT

No issues in this repository yet.