<div class="gmail_quote">On 28 February 2011 14:59, Tom Hawkins <span dir="ltr">&lt;<a href="mailto:tomahawkins@gmail.com">tomahawkins@gmail.com</a>&gt;</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&#39;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&#39;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>