Theoremadvanced
CRDT convergence theorem
Also called Shapiro convergence theorem, state-based convergence theorem.
Replicas whose states are monotone in a semilattice and merged by join converge to the same state.
Replicas whose states are monotone in a semilattice and merged by join converge to the same state.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag TXVMWX Edit this page History Report an error