[Retros] example of popeye a=>b please

Andrew Buchanan andrew at anselan.com
Wed Dec 5 11:58:50 EST 2012

Hi retro friends,

Would someone be so kind as to give me a valid input file for Popeye to
verify a=>b proof game, please.

I want to try verifying something, but can't figure out the syntax.



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.pairlist.net/pipermail/retros/attachments/20121206/03c65eba/attachment.htm>

More information about the Retros mailing list