A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
32
stars
7
forks
source link
Coq 8.15 in CI, hint locality everywhere, consistent Require Import #26
Closed
palmskog closed 2 years ago