typhon icon indicating copy to clipboard operation
typhon copied to clipboard

Published 20 hours ago • verified publisher icon anoma

Prove Heterogeneous Paxos Termination

Open isheff opened this issue 3 years ago • 0 comments

Using the Heterogeneous Paxos Spec developed earlier, can we formalize and prove heterogeneous termination in Ivy or TLA+?

isheff avatar Oct 11 '21 13:10 isheff