[Verifpal] examples are broken
nadim at symbolic.software
Sun Sep 8 00:23:31 CEST 2019
Could you please describe how these examples are "broken"? They seem fine
Also, please don't send low-information/low-quality emails like that to the
list -- I'm placing you on the moderation queue.
Symbolic Software • https://symbolic.software
Sent from office
On Sun, Sep 8, 2019 at 12:16 AM Mike via Verifpal
<verifpal at lists.symbolic.software> wrote:
> By today's commits examples are broken:
> Verifpal mailing list
> Verifpal at lists.symbolic.software
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Verifpal