GitHub repository: JYwellin/CRDT-TLA
Primary language: TeX
Description: Specifying and Verifying CRDT Protocols using TLA+