nix-action topic

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

coq-community

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

coq-community

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

coq-community

A certified Sudoku solver in Coq [maintainers=@siraben,@thery]

coq-community