typhon icon indicating copy to clipboard operation
typhon copied to clipboard

Published 20 hours ago • verified publisher icon anoma

Add comments to HPaxos TLA Spec

Open isheff opened this issue 2 years ago • 0 comments

Add some human-readable comments to the spec part of HPaxos so that anyone can tell what's going on.

isheff avatar Apr 11 '22 13:04 isheff