Mizar in a Nutshell
Adam Grabowski, Artur Korniłowicz, Adam Naumowicz · DOAJ (DOAJ: Directory of Open Access Journals) · 2010
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.