coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] [ANN] Procrastination v1.2

From: Armaël Guéneau <armael.gueneau AT ens-lyon.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] [ANN] Procrastination v1.2
Date: Thu, 20 Sep 2018 13:56:25 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=armael.gueneau AT ens-lyon.fr; spf=Pass smtp.mailfrom=armael.gueneau AT ens-lyon.fr; spf=None smtp.helo=postmaster AT labbe.ens-lyon.fr
Ironport-phdr: 9a23:Xn/70B245upDF7CesmDT+DRfVm0co7zxezQtwd8Zse0eKfad9pjvdHbS+e9qxAeQG9mDtLQc06L/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHPYQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmlicJOSM6/m/ZhMN/g75Urh26qhxjwIPZep2ZOOZwc67fe94RWGpPXtxWVyxEGo6xc5EPD+8bMuFEq4nyv1oArQakAgmqGuzg0CJIjWLx0KIgyeQhFBvJ0xIkH94Uv3TUscv6NKEMXu+v0anF1ivMb/VN2Tvk7IjJchchofeWUbJ+a8rc0E8iHB7LgFWXrIzqJTKV1uIVvmiU7upgSeKvi3M8pA1rvjevwcIsh4/UjYwW0lDJ7Th1zYkpKdGiSkN2Y8SoHIZRuiyYLYd6XN0uT39wtCon1LELuoS3cSwExZg9xhPSauaLfoaO7xn+TuieOy14i2hgeL+nhxa970ygyurkW8mwyllFtTFKncfWun8T0RzT8dGLSv99/0em3zaDzQ7T6vtcLUA1k6rUNYIhz6YtmpccrUjPBC37lUfsgKOLd0gp+PKk5/r5brn4vpOcMpV7igD6MqQggMy/BuE4PxAUUGiB/OSzzqPs/UnjTLVFk/05jK/Zv47AKsQGvaO2HQlV0p065xa7Dzam19IYkWMJLFJfYB6HlZTmO0nSIPDkCveym0ijkDByx/zfIrLhBojNIWPYnbf6fbd97lZcxxApwdBe4ZJUELABL+jpVk//rtyLRiM+Zgez2qPsDMh3/oIYQ2OGRKGDY43Itlrdz/gqKmqIU6AIOTDwIuVts/f0iHY0nRkSYKSv0JIKQH2+BbFiMkKfJ3T21IRSWVwWtxYzGbS5wGaJViReMi7rDvAMowojAYfjNr/tA4WkgbiPxiC+R8YEa2ZdT1SdFnGueZ/WAq5QOhLXGddol3k/bZbkU5UojEr8uQnhjr52KeyS9DdK7cu+hugw3PXakFQJzRIxD8mZ1DjcHWV9lGkFATIwx+V7sEt7jFmZg/B1

Dear Coq users,

I'm happy to announce the release of coq-procrastination v1.2!

"Procrastination is a small Coq library for collecting side conditions
and deferring their proof"

Procrastination was first released this summer and presented at the Coq
Workshop at FLOC. Since then a few bugs have been squashed, in
particular thanks to Fabian Kunze, who contributed all the bugfixes of
this last release.

See the github repository [1] for more information; in particular the
README links to the fairly comprehensive manual.

Enjoy!
— Armaël

[1] https://github.com/Armael/coq-procrastination

[Coq-Club] [ANN] Procrastination v1.2, Armaël Guéneau, 09/20/2018