3 ms·Proving completeness of an eventually perfect failure detector in Lean42 points by Bogdanp 1y ago