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 <colinpaulad...@googlemail.com > wrote: > On 28 February 2011 14:59, Tom Hawkins <tomahawk...@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 > >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
