A Practical Guide To Mizar/Bibliography
Appearance
Papers
[edit | edit source]- 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.