obsidiandynamics / spire-tla

A TLA⁺ specification of the Spire consensus protocol

Geek Repo

Github PK Tool