tezedge/tezedge-specification
TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus
TLAMIT
Stargazers
- acorrensonCISPA Helmholtz Center for Information Security
- andrewpaulicekAgile Ventures
- binier
- clarusFormal Land
- dranovSingapore
- g302geCyberNonce
- germanDTrilitech
- harrygallagher4New Orleans
- hwayneChicago
- jurajselep
- lemmy@microsoft
- link89Tan Kah Kee Innovation Laboratory
- lucazulianMilan, Italy
- metalaBulgaria
- nikitavoloboevMadrid
- SiboldSiborg
- smorimoto@ocaml @tc39
- tizoc
- yibityibit
- younes-ioParis