Mizar in a Nutshell

Adam Grabowski, Artur Kornilowicz, Adam Naumowicz


This 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.

Full Text:

PDF (English)

DOI: 10.6092/issn.1972-5787/1980

Copyright (c) 2010 Adam Grabowski, Artur Kornilowicz, Adam Naumowicz

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 International License.
This website uses only proprietary and third party technical cookies to ensure the correct operation of its web pages and to improve its services. If you wish to find out more, or deny your consent, consult the privacy policy. By continuing to navigate the website, or by clicking on "close", you consent to the use of the cookies.

ISSN 1972-5787

Creative Commons License
© Copyright 2014

The journal is hosted and mantained by ASDD-AlmaDL [privacy]