/ref-crdt

Model of a CRDT for reference listing

Primary LanguageIsabelle

No issues in this repository yet.