Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
A framework for verification of causal consistency for distributed key-v...
Coq plugin providing tactics for rewriting universally quantified equati...