Login
From:
Protocols Made Fun
(Uncensored)
subscribe
Proving consistency of two-phase commit in Lean4 | Protocols Made Fun
https://protocols-made-fun.com/lean/2025/05/10/lean-two-phase-proofs.html
links
backlinks
Tagged with:
lean
Roast topics
Find topics
Find it!
Author: Igor Konnov
