WIP: TLA+ specification of consensus protocol#1

Open

andrewgordstewart wants to merge 5 commits intomasterfrom

consensus-update

Commits on Aug 9, 2019

WIP: tla+ specification of consensus protocol
andrewgordstewart
committed

Commits on Aug 12, 2019

Commits on Aug 13, 2019