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

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

adsharma wants to merge 1 commit into

masteradsharma/raft:masterfrom

verify/raft-core-leanadsharma/raft:verify/raft-core-leanCopy head branch name to clipboard