Re: [mizar] where do people check for the MML library?

[Freek Wiedijk <freek@cs.ru.nl>]

Dear Brando,

>Interesting, so is that not the standard way to learn Mizar?

I don't know what the best way to learn Mizar is :-)

As for the "tutorial", what I would do if I were you is
just read through it, and not really enter the specific code
fragments into the system and ignore the exercises for now
(as I wrote, they are outdated).  But hopefully the text
will still help you understand the system a bit better.

And if you are into some interesting times, you _could_
try to update the "tutorial" to make it up to date with
respect to the current state of the system :-)  But of
course, as Mizar is a moving target, that will soon be out
of date again.

Freek