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
Dune fixes and 8.18 in CI
#29
Closed
palmskog
closed
11 months ago