[mizar] The MPTP Challenges

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

Hi,

at http://www.cs.miami.edu/~tptp/MPTPChallenge/ are decribed two ways how 
to get $100 in real currency. All you need to do is to solve automatically 
more Mizar problems in any of the two divisions than anyone else.

Best,
Josef Urban and Geoff Sutcliffe