<div class="gmail_quote">On 28 February 2011 14:59, Tom Hawkins <span dir="ltr"><<a href="mailto:tomahawkins@gmail.com">tomahawkins@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
I have been wanting to gain a better understanding of interactive<br>
theorem proving for some time. And I've often wondered: Can theorem<br>
proving be made into a user-friendly game that could attract mass<br>
appeal?<br clear="all"></blockquote></div><br>No.<br><br>I'd wage money on it.<br>-- <br>Colin Adams<br>Preston, Lancashire, ENGLAND<br>() ascii ribbon campaign - against html e-mail <br>/\ <a href="http://www.asciiribbon.org">www.asciiribbon.org</a> - against proprietary attachments<br>