Roast topics
Find topics
Find it!
Proving completeness of an eventually perfect failure detector in Lean4 | Protocols Made Fun
Author: Igor Konnov
| Protocols Made Fun
Proving consistency of two-phase commit in Lean4 | Protocols Made Fun
Author: Igor Konnov
| Protocols Made Fun
