Remove or localize most hints

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

Closed palmskog closed 3 years ago