Re: Studying Mizar

Boris Schminke <[email protected]>
Newsgroups gmane.comp.mathematics.mizar
Message-ID <[email protected]> 
Dear Adam,
Thank you for your answer. I didn't know or have already forgotten
that articles from MML in their current state are available on the
Internet in HTML form. I think that link you've sent me in this letter
will necessarily help me.
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.