FAQ | This is a LIVE service | Changelog

Skip to content

GitLab

Explore

Sign in

C

crdt-isabelle

Project information

Verifying Strong Eventual Consistency in Distributed Systems (OOPSLA 2017)

500 Commits
1 Branch
0 Tags

README
LICENSE

Created on

June 26, 2019

Loading