/raft-by-refinement

Exploring refinement-based specification of the Raft consensus protocol.

Primary LanguageTLA

No issues in this repository yet.