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

[marco caminati <spam.caminati@gmail.com>]

On 11/29/18, Miranda, Brando <miranda9@illinois.edu> wrote:
> Hi Freek,
>
> Interesting, so is that not the standard way to learn Mizar? I’ve been
> having a lot of trouble getting started so maybe I can be pointed in the
> right direction?
>
> I made this post so it can be public online and avoid repetitiveness:
>
> https://stackoverflow.com/questions/53548924/resources-to-learn-mizar-mathematical-theorem-proving-language
>
> Regards, Brando

Hi everyone,
as a tiny contribution to the topic: I don't know whether there is a
"standard way to learn Mizar", but I do know that Freek's 9 step
tutorial worked quite well for me :)
It was a crunch document in my professional life: it allowed me to
start formalizing seriously (which still makes a relevant part of my
research), and, as a consequence, to meet the extraordinarily nice
people from the Mizar group.

Therefore, I'd also like to publicly thank Freek, which I've been
wanting to do for a long time :)

Sorry for abusing this thread with personal stuff :)

Regards,
Marco Caminati