Lean-yjs: formally proving the Yjs conflict resolution algorithms

@dmonad Kevin Jahns
Thu, 18 Sep 2025 15:30:37 +0000

No worries about the paper! I just assumed that you’re coming from academia. Keep me updated on the repo, and thanks for working on this!