coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] std++ 1.2

From: Robbert Krebbers <mailinglists AT robbertkrebbers.nl>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] std++ 1.2
Date: Sat, 27 Apr 2019 09:22:16 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mailinglists AT robbertkrebbers.nl; spf=None smtp.mailfrom=mailinglists AT robbertkrebbers.nl; spf=None smtp.helo=postmaster AT smtp2.science.ru.nl
Ironport-phdr: 9a23:NNGWBRAKdv9D9dAHXPQUUyQJP3N1i/DPJgcQr6AfoPdwSPTzr8bcNUDSrc9gkEXOFd2Cra4d0qyL7Ou5AzZIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfK5+IA+2oAjTucUanJVuJrgswRbVv3VEfPhby3l1LlyJhRb84cmw/J9n8ytOvv8q6tBNX6bncakmVLJUFDspPXw7683trhnDUBCA5mAAXWUMkxpHGBbK4RfnVZrsqCT6t+592C6HPc3qSL0/RDqv47t3RBLulSwKLCAy/n3JhcNsjaJbuBOhqAJ5w47Ie4GeKf5ycrrAcd8GWWZNW8BcXDFDDIyhdYsCF/QPM+ZFoYf+qVUBoxSxChWjCu701j9FhWX70bEm3+kvEwzL2hErEdIUsHTTqdX4LLscUeeuw6bT0zrDde9W0ir45ojSbB8uuuqDUqxqccrK1EIiEAbFgU+RqYzhPjOV0OsNs2ya7+p7SeKvkHUqqxt2oje03cgjlJPJhp4WylDe6yp22506KsOiSE5ge9KkFp9QujicOoBrTM0iRGRotzw7yr0AoZO7eTAKyJU+yx7EZf2HaJKE4hX5VOaeJzpzmXFreKqnihqv/0Ws1/fwWtS23VtFtCZJj9jBumoQ2xHc6sWLUvVw8lq71TqS1g3f9/tILV03mKfaMZIt3L09m5wOukrZBCD2gl/5jKqOe0Uk5Oeo7+Pnb639pp+ZK490kh/yPr41msOjAOQ3LA4OUHSF9uimzr3j4Ff1QLNOjvEuk6nZto7VJdgDq6KkDQJZz5wv5wu9AjqpytgUgHgKIEhYdB+Ij4XlI1TOL+r5Dfe7jVSsijBrx/XeM73kGJrNL3zDkLbnfbZy705cyREzzcxE559PELEBJ+n8VVTvu9zCEh85MBa0zPj8B9pmyIweQ3mPDrWfMKPWqVOI/P4gI/GQZI8JvzbwM+Qq5/n3jXMghVAdebSp0oAMZXCjHvVmJl2ZbmD2jtcAF2cKpAs+Q/bwhF2MSz4AL0q1Cok7/3kQDJ+sRdPIQZnoi7ic1g+6GIdXbyZIEAbfP23vctC+XP0GZTiOaux7nzYOWKK6A9sk3BCqtQn1z7t8MvH84CoSv5/5yNtv6ufZmAspszpwWZfOm1qRRn15yztbDwQ927py9Akkkg/ajPpIxsdAHNkW3MtnFwc3MZmGlr5hDszqAETaddaETl2rBM+7Rzc1HIpon40+Jn1lEtDntSjtmjKwCuVNxaaMDpY56L7fxXX7Lctn0DDA0Pt51gh0co50LWSjw5VH2U3WDo/NnV+ekvzyJ74b1iTA7nuA12eEtkxCS0h2VfedUA==

Dear Coq-club,

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

Best,

Robbert

[Coq-Club] std++ 1.2, Robbert Krebbers, 04/27/2019