RE: Studying Mizar

"James Smith" <[email protected]>
Newsgroups gmane.comp.mathematics.mizar
Message-ID <[email protected]> 
Boris,

by the time you have managed to compile the Mizar article described in
Freek's tutorial you will have a good idea about the structure of the MML
library, believe me! I strongly suggest you take the time to go through this
at times painful process. I suspect most accomplished Mizar users went
through it, or something similar, at some point. 

The best motive for getting to grips with the structure of the MML library
seems to be simple necessity, it seems to me. 

Best of luck,

James
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.