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
Port to Coq 8.9 and master, add metadata
#5
Closed
palmskog
closed
5 years ago