Top 1 nix-action open source projects

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