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