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

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

To: "mizar-forum@mizar.uwb.edu.pl" <mizar-forum@mizar.uwb.edu.pl>
Subject: [mizar] where do people check for the MML library?
From: "Miranda, Brando" <miranda9@illinois.edu>
Date: Tue, 27 Nov 2018 21:42:09 +0000

Hi,

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

I’m surprised the exercise asks us to do that without telling us first where to look.

Thanks!

Regards, Brando

Follow-Ups:
- Re: [mizar] where do people check for the MML library?
  - From: Adam Naumowicz <adamn@math.uwb.edu.pl>
- Re: [mizar] where do people check for the MML library?
  - From: Freek Wiedijk <freek@cs.ru.nl>

Prev by Date: [mizar] question about translating to logical connectives
Next by Date: Re: [mizar] where do people check for the MML library?
Index(es):
- Chronological
- Thread