Re: where do people check for the MML library?

Adam Naumowicz <[email protected]> Fri, 30 Nov 2018 14:06:48 +0100 (CET)

Newsgroups	gmane.comp.mathematics.mizar
Message-ID	<Pine.SOL.4.64.1811301404270.18374@math>

On Thu, 29 Nov 2018, Miranda, Brando wrote:

> 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

FYI: the Mizar forum has a public online archive (updated daily) at

http://mizar.uwb.edu.pl/cgi-bin/wilma/wilma/mizar-forum

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/
===========================================================================