Mizar in a Nutshell

Authors

  • Adam Grabowski Institute of Mathematics, University of Bialystok
  • Artur Kornilowicz Institute of Informatics, University of Bialystok
  • Adam Naumowicz Institute of Informatics, University of Bialystok

DOI:

https://doi.org/10.6092/issn.1972-5787/1980

Abstract

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.

Downloads

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

License

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