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.

0 Commits
9 Branches
0 Tags

README
LICENSE

Created on

March 26, 2019

Loading