tla-plus: add spec for raft leader election #123189
+942
−0
Open
blathers[crl] / blathers/release-justification-check
succeeded
May 6, 2024