Login
From:
Protocols Made Fun
(Uncensored)
subscribe
Specifying and simulating two-phase commit in Lean4 | Protocols Made Fun
https://protocols-made-fun.com/lean/2025/04/25/lean-two-phase.html
links
backlinks
Tagged with:
lean
Roast topics
Find topics
Find it!
Author: Igor Konnov
