Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: a conflict-free replicated dat...

view this post on Zulip Email Gateway (Aug 22 2022 at 16:22):

From: Lawrence Paulson <lp15@cam.ac.uk>
Nice to see somebody building on Cambridge work! And what could be more topical than concurrent updates?

https://www.isa-afp.org/entries/IMAP-CRDT.html

Larry Paulson

Last updated: Nov 21 2024 at 12:39 UTC