S

stdpp

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

Forked from Iris / stdpp