jakobbotsch/containers

Containers: a typeclass-based library of finite sets/maps

Coq