{"id":"1707.01747","title":"Verifying Strong Eventual Consistency in Distributed Systems","url":"https://codeofpaper.com/paper/1707.01747","arxiv_url":"https://arxiv.org/abs/1707.01747","published":"2017-07-06","code":"official","best":{"full_name":"trvedata/crdt-isabelle","url":"https://github.com/trvedata/crdt-isabelle","tier":"official","stars":78,"license":"Apache-2.0","framework":null,"language":"TeX","last_commit":"2022-12-18T16:58:43"},"most_starred_community":null,"implementations":[{"full_name":"trvedata/crdt-isabelle","url":"https://github.com/trvedata/crdt-isabelle","tier":"official","stars":78,"license":"Apache-2.0","framework":null,"language":"TeX","last_commit":"2022-12-18T16:58:43"}],"possible_matches":0}