FAQ | This is a LIVE service | Changelog

C

crdt-isabelle

Project information

Verifying Strong Eventual Consistency in Distributed Systems (OOPSLA 2017)

500 Commits
1 Branch
0 Tags

README
Apache License 2.0

Created on

June 26, 2019

Loading