Comment by arendtio

It uses automerge [1], so I strongly assume they use CRDTs.

[1] https://automerge.org/