This repo is the new home of Proof General
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Cast...
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Variations on Kirby & Paris' hydra battles and other entertaining math i...
Coq plugin for parametricity [maintainer=@proux01]
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...
Graph Theory [maintainers=@chdoc,@damien-pous]