Skip to content

CRDT: cite the induction hypothesis in the proof of OGLiveness. - #251

Merged
lemmy merged 1 commit into
masterfrom
mku-gh309
Oct 30, 2026
Merged

CRDT: cite the induction hypothesis in the proof of OGLiveness.#251
lemmy merged 1 commit into
masterfrom
mku-gh309

Commits

  1. Commits on Oct 30, 2026