/PBFT-TLA

TLA+ specification of the Practical BFT protocol

Primary LanguageTLA

This repository is not active