Skip to content

Add static-python spec verifying core Raft consensus invariants - #21

Open
adsharma wants to merge 1 commit into
masterfrom
verify/raft-core-lean
Open

Add static-python spec verifying core Raft consensus invariants#21
adsharma wants to merge 1 commit into
masterfrom
verify/raft-core-lean

Add static-python spec verifying core Raft consensus invariants with …

e359e25
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs