[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
Re: [mizar] Studying Mizar
- To: mizar-forum@mizar.uwb.edu.pl
- Subject: Re: [mizar] Studying Mizar
- From: Boris Schminke <schminkeba@gmail.com>
- Date: Thu, 15 Jul 2010 15:30:44 +0400
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; b=G6pNd79C/IS8c8JERvyZmc9BX6Se3y2x7x0ufql+BUfPEQFpY4SUlEK6sy5sX0sIME tpONqyynoORX6lJkKBh78bt2z1ke+rSMsEs/Xtxp6l/cPqhoeYFIZTHuWGZvE5m/Bhws hBlo7Hlq2m3IFyJ5uOeYuQ97t0d4RmvlAvznw=
James,
Freek's manual is really one of the best available on the Internet and
happily I've already read it or at least some parts that are up to
date. But it's more about Mizar language itself than structure of MML
that I'm now desperately fighting with.:) Thank you for you answer.
Best,
Boris.