TLA+ model for Raft Leader Leases, and linearizable reads from leader
Primary LanguagePythonMIT LicenseMIT