Fix deprecations, update boilerplate

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 1 year ago