Skip to content

GitLab

Explore

Sign in

R

repliss

Project information

The replicated information system verification tool for the development of applications with strong guarantees on weakly consistent data stores.

468 Commits
18 Branches
0 Tags

README
LICENSE

Created on

December 15, 2016

Loading