Re: Studying Mizar

Boris Schminke <[email protected]>
Newsgroups gmane.comp.mathematics.mizar
Message-ID <[email protected]> 
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.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.