3 ms·
Those interested in a formal proof, Automerge has a set of formal proofs in Isabelle. This is an Op-based CRDT. https://github.com/trvedata/crdt-isabelle/tree/
by iamwil 3y ago
Those interested in a formal proof, Automerge has a set of formal proofs in Isabelle. This is an Op-based CRDT.
https://github.com/trvedata/crdt-isabelle/tree/master https://github.com/trvedata/crdt-isabelle/tree/master