Armaël Guéneau
2018-09-20 11:56:25 UTC
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
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