S

stdpp

An extended "Standard Library" for Coq. [coqdoc]