[mizar] Re: Sleszynski Prize 2007

[Jesse Alama <alama@stanford.edu>]

Freek Wiedijk <freek@cs.ru.nl> writes:

> Grzegorz:
>
>>I think it is time to start nominations for Sleszynski Prize 2007.
>>
>>(It seems to me that we have no description of the Prize
>>at mizar.org)
>
> ... and I don't know what it is either.  The _what_ price?
>
> (I'll be happy to nominate people, once I know what it is for :-))

Are we talking about this guy:

  http://en.wikipedia.org/wiki/Ivan_Sleszynski

?

Jesse

-- 
Jesse Alama (alama@stanford.edu)