coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Robbert Krebbers <mailinglists AT robbertkrebbers.nl>
- To: coq-club <coq-club AT inria.fr>
- Subject: [Coq-Club] std++ 1.3
- Date: Fri, 20 Mar 2020 14:38:55 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mailinglists AT robbertkrebbers.nl; spf=Pass smtp.mailfrom=mailinglists AT robbertkrebbers.nl; spf=None smtp.helo=postmaster AT filter01.hostcontrol.com
- Ironport-phdr: 9a23:7+ALvh3e88xOueiusmDT+DRfVm0co7zxezQtwd8ZseIeKvad9pjvdHbS+e9qxAeQG9mCt7Qd17Od7vuocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfLx/IA+roQjeq8UajotvJ6gswRbVv3VEfPhbymxvKV+PhRj3+92+/IRk8yReuvIh89BPXKDndKkmTrJWESorPXkt6MLkqRfMQw2P5mABUmoNiRpHHxLF7BDhUZjvtCbxq/dw1zObPc3ySrA0RCii4qJ2QxLmlCsLKzg0+3zRh8dtjqxUvQihqgRhzYDUfY+bN/Rwca3SctwGSmRBX91cVzBCD46mc4cDE+QMMOReooLgp1UOtxy+BQy0Ce3zzT9HnWT50rMg0+Q9DArI2RYgEMwVv3vPstr1LrwSWv2ywanN1zrDbvdW2Tb76IjHdhAhoOqMXa5rccfK00kvEBjKgU6Opoz/IzOV1f4NvHaA4OV7S+2vkXUnpxt3ojir38ohjJTCiIwSylDB7yp5wYA1KMW9SE5jYN6oCYBQti+BN4dsRcMiWW5otSAnwbMFoZ62ZCgHxI46yxPfafGLaYuF7xP5WOueIDp0nHJodKiiixuy80Ws0O7xW8au3FpXoCdJit3Bu38X2xDN9sSKTuFx80Wl1DqVyQzf9+VJLEYpnqTBMZEh2KQ/lp8LvETDACD2nEL2gbeYdkUl/uio9/roYq/6qpOBLYN0igb+Mr8ymsOjBuQ4NBQOX3Kc+eS4zrHs4Ur5QLBSgv03lKnWrozaKNwbq6KjHgNY0oQu5wy8AjqnytgVkngKIEpAeB2djojpP1/OIOr/Dfe6m1mslS1kx/HCPr3gBJXNIXzDkLb6fbZh8E5R0xAzzddE6J1PFL4BOu7zWkzrtNPGFRA2KBK7w/z8CNln0IMeXXqDArWFP6PKrV+I+uUvLvGQa48SoTbxMuQq5/rzjXAiglIdZqmo3Z4PaH+iBPhmIkOZYWDtgtgbC2sKsBA+H6TWjwiJVicWbHKvVepo7TYiTYmiEI3rR4a3gbXH0j3tTbNMYWUTMFeGG3rya82nQfoGYi+IOYc1lzUFUbmnRIsgzg21nBX9wbBqNPbX4CASv5/5z55z47uAxlkJ6TVoApHFgCm2RGZukzZQHm5k7OVEuUV4j2y7/+19iv1cG8ZU4qkRAB09P5TR1fB5Ed34UA/bZZGPTAT/G4j0MXQKVts0huQ2TQN9FtGl1E6R0SuuH7IPz+XNBJsv7qnb2WTrIMI7wHHDhvF40wsWB/BXPGjjvZZRshDJDtSRwV+enaynb7gfxiPH/mqZ1iyIuBMAXQ==
Dear Coq-club,
we are pleased to announce the release of std++ 1.3: 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.
This release of the std++ library adds support for Coq 8.11 and 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 Amin Timany, Armaël Guéneau, Dan Frumin, David Swasey, Jacques-Henri Jourdan, Michael Sammler, Paolo G. Giarrusso, Pierre-Marie Pédrot, Ralf Jung, Robbert Krebbers, Simon Friis Vindum, Tej Chajed, and William Mansky.
More information is available at https://gitlab.mpi-sws.org/iris/stdpp
Best,
The std++ team
- [Coq-Club] std++ 1.3, Robbert Krebbers, 03/20/2020
Archive powered by MHonArc 2.6.18.