Login
From:
Protocols Made Fun
(Uncensored)
subscribe
Proving completeness of an eventually perfect failure detector in Lean4 | Protocols Made Fun
https://protocols-made-fun.com/lean/2025/06/10/lean-epfd-completeness.html
links
backlinks
Tagged with:
distributed
formalmethods
Roast topics
Find topics
Find it!
Author: Igor Konnov
