http://perso.ens-lyon.fr/damien.pous/
CNRS, ENS Lyon France
Damien Pous
Relation algebra library for Coq
damien-pous