Roast topics
Find topics
Find it!
Proving consistency of two-phase commit in Lean4 | Protocols Made Fun
Author: Igor Konnov
| Protocols Made Fun
Specifying and simulating two-phase commit in Lean4 | Protocols Made Fun
Author: Igor Konnov
| Protocols Made Fun
