we are pleased to announce the release of std++ 1.2: an extended “standard” library for Coq. The std++ library includes a large selection of definitions and lemmas on common data structures like lists, relations, sets, finite sets, finite maps, and finite multisets; a number of type classes for common properties of types (e.g. decidable equality, countable, finite, infinite, inhabited); and useful tactics.
The std++ library is available in Coq’s opam repository.
The changelog for this release can be found at https://gitlab.mpi-sws.org/iris/stdpp/blob/master/CHANGELOG.md
This release of std++ received contributions by Dan Frumin, Hai Dang, Jan-Oliver Kaiser, Mackie Loeffel, Maxime Dénès, Ralf Jung, Robbert Krebbers, and Tej Chajed.
More information is available at https://gitlab.mpi-sws.org/iris/stdpp