411 REFERENCE · Wikibooks
A Practical Guide To Mizar/Bibliography
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Papers
Grabowski, A., Kornilowicz, A., Naumowicz, A., Mizar in a Nutshell, in: A. Asperti, J. Harrison and C. Munoz (Eds.) User Tutorials I, Journal of Formalized Reasoning 3(2), pp. 153-245, 2010.
Weblinks
Official Mizar Webpage
Getting to know the Mizar Mathematical Library
Mizar Commentary on Walter Rudin's Principles of Mathematical Analysis