Hahn: A Coq library
Hahn is a Coq library that contains a useful collection of lemmas and tactics about lists and binary relations.