A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
Primary LanguageTLA