Mizar in a Nutshell

Adam Grabowski, Artur Kornilowicz, Adam Naumowicz

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.

Full Text:

PDF


DOI: 10.6092/issn.1972-5787/1980



ISSN 1972-5787
© Copyright 2014 - Legal registration pending

The journal is hosted and mantained by ASDD-AlmaDL