Wikibooks

A Practical Guide To Mizar/Bibliography

< A Practical Guide To Mizar
This page may need to be reviewed for quality.

Papers

edit
  • 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.
edit
Retrieved from "https://en.wikibooks.org/wiki/A_Practical_Guide_To_Mizar/Bibliography"