[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
Re: [mizar] 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: adamn@mizar.org
Ciolkowskiego 1M, 15-245 Bialystok, Poland http://math.uwb.edu.pl/~adamn/
===========================================================================