Jump to content

A Practical Guide To Mizar/Bibliography

Add links
From Wikibooks, open books for an open world
< A Practical Guide To Mizar
This page may need to be reviewed for quality.

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