Mizar in a Nutshell
AbstractThis paper is intended to be a practical reference manual for basic Mizar terminology which may be helpful to get started using the system. The paper describes most important aspects of the Mizar language as well as some features of the verification software.
How to Cite
Grabowski, A., Kornilowicz, A., & Naumowicz, A. (2010). Mizar in a Nutshell. Journal of Formalized Reasoning, 3(2), 153–245. https://doi.org/10.6092/issn.1972-5787/1980
Copyright (c) 2010 Adam Grabowski, Artur Kornilowicz, Adam Naumowicz
Copyrights and publishing rights of all the texts on this journal belong to the respective authors without restrictions.
This journal is licensed under a Creative Commons Attribution 3.0 Unported License (full legal code).
See also our Open Access policy