A library of abstract interfaces for mathematical structures in Coq.