[Haskell-cafe] ANN: theoremquest-0.0.0

[Colin Adams]

On 28 February 2011 14:59, Tom Hawkins <tomahawkins at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110228/3d4f0dd1/attachment.htm>