pbft-tlaplus. Formal specification of PBFT in TLA+

github.com/heidihoward/pbft-tlaplus
by @heidihoward

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.