Proving completeness of an eventually perfect failure detector in Lean4 (via hwayne) — discussion

#distributed #formalmethods