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
switch to dune in OPAM file, refresh from templates #13
Closed
palmskog closed 4 years ago