rocq-community / chaparLinks

A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
32Updated last year

Alternatives and similar repositories for chapar

Users that are interested in chapar are comparing it to the libraries listed below

Sorting: