Top 1 coq-extraction open source projects

A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]