[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: RELITERS

On Thu, Jan 18, 2001 at 07:30:48PM +0100, Artur Kornilowicz wrote:
> On Thu, 18 Jan 2001, Piotr Rudnicki wrote:
> 
> > It is not a surprise to me that ASYMPT_1 has taken the first place
> > in this ranking.  This article contains a solution to quite a numer
> > of exercises from a book about asymptotic notation and it was written
> > by two students under my supervision.  They were learning Mizar at
> > that time and they were doing reasoning steps that they could follow
> > without paying much attention to the checker abilities.
> 
> 
> My work does not criticize any mizar article. 

And I cannot imagine that it has been taken by anyone as a criticism.
I thought it could have been interesting for some to know how ASYMPT_1
became to be.

Cheers,

-- 
Piotr Rudnicki               CompSci, Univerity of Alberta, Edmonton, Canada
email: piotr@cs.ualberta.ca                 http://web.cs.ualberta.ca/~piotr