github.com/coq/opam-coq-archive
Finite sets, maps, and other data structures with extensional reasoning
opam install coq-extructures.0.2.2