A TLA⁺ specification of the Spire consensus protocol - View it on GitHub