Re: where do people check for the MML library?

Hi Brando,

On Tue, 27 Nov 2018, Miranda, Brando wrote:

> I was trying to do the see the MML library as exercise 1.1.1 suggested 
> from https://www.cs.ru.nl/~freek/mizar/mizman.ps.gz where do ppl usually 
> check this? A local copy of it in my mizar installation or from the 
> github page: https://github.com/MizarSystem/MML/tree/master/mml

Your local copy of the Mizar distribution is best for studying, provided 
it's up-to-date. Otherwise one may always use the online versions of Mizar 
articles (plain text or HTML-linked) or their abstracts (with all proofs 
stripped off) from the Mizar website.

Cheers,

Adam

===========================================================================
Dept. of Programming and Formal Methods      Fax: +48(85)738-83-33
Institute of Informatics                     Tel: +48(85)738-83-06 (office)
University of Bialystok                      E-mail: [email protected]
Ciolkowskiego 1M, 15-245 Bialystok, Poland   http://math.uwb.edu.pl/~adamn/
===========================================================================