/hotstuff-ivy

Proving the HotStuff BFT protocol using the ivy language and tool

Primary LanguageTLAMIT LicenseMIT

Stargazers