issues
search
coq-community
/
chapar
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
MIT License
32
stars
7
forks
source link
templating with extracted builds
#9
Closed
palmskog
closed
5 years ago