/CRDT-TLA

Specifying and Verifying CRDT Protocols using TLA+

Primary LanguageTLA

Watchers