Have you tried it? It's completely addictive (and takes up a big chunk of my free time). I'm not sure it'll appeal to everyone, but I wouldn't dismiss it off-hand like that.

On Mon, Feb 28, 2011 at 10:16 AM, Colin Adams <colinpauladams@googlemail.com> wrote:

On 28 February 2011 14:59, Tom Hawkins <tomahawkins@gmail.com> wrote:

I have been wanting to gain a better understanding of interactive
theorem proving for some time.  And I've often wondered: Can theorem
proving be made into a user-friendly game that could attract mass
appeal?

No.

I'd wage money on it.
--
Colin Adams
Preston, Lancashire, ENGLAND
()  ascii ribbon campaign - against html e-mail
/\  www.asciiribbon.org   - against proprietary attachments

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe