[Haskell-cafe] ANN: theoremquest-0.0.0
colinpauladams at googlemail.com
Mon Feb 28 16:16:03 CET 2011
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
I'd wage money on it.
Preston, Lancashire, ENGLAND
() ascii ribbon campaign - against html e-mail
/\ www.asciiribbon.org - against proprietary attachments
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe