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

Re: RELITERS

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. I would like only show, that
we need many utilities, which can enhance mizar articles.

ASYMPT_1 is now first, but a few articles is already enhanced by hand by
Library Committee.

Greetings

Artur Kornilowicz