[Date Prev][Date Next] [Chronological] [Thread] [Top]

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

To: "mizar-forum@mizar.uwb.edu.pl" <mizar-forum@mizar.uwb.edu.pl>
Subject: Re: [mizar] where do people check for the MML library?
From: Adam Naumowicz <adamn@math.uwb.edu.pl>
Date: Fri, 30 Nov 2018 14:06:48 +0100 (CET)

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: adamn@mizar.org
Ciolkowskiego 1M, 15-245 Bialystok, Poland   http://math.uwb.edu.pl/~adamn/
===========================================================================

References:
- [mizar] where do people check for the MML library?
  - From: "Miranda, Brando" <miranda9@illinois.edu>
- Re: [mizar] where do people check for the MML library?
  - From: Freek Wiedijk <freek@cs.ru.nl>
- Re: [mizar] where do people check for the MML library?
  - From: "Miranda, Brando" <miranda9@illinois.edu>

Prev by Date: Re: [mizar] where do people check for the MML library?
Index(es):
- Chronological
- Thread