Mizar in a Nutshell
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.
Main Authors: | Adam Grabowski, Artur Kornilowicz, Adam Naumowicz |
---|---|
Format: | Article |
Language: | English |
Published: |
University of Bologna
2010-01-01
|
Series: | Journal of Formalized Reasoning |
Online Access: | http://jfr.cib.unibo.it/article/view/1980/1356 |
Similar Items
-
On algebraic hierarchies in mathematical repository of Mizar
by: Adam Grabowski, et al.
Published: (2016-10-01) -
Tarski's geometry modelled in Mizar computerized proof assistant
by: Adam Grabowski
Published: (2016-10-01) -
Implementation of the Composition-nominative Approach to Program Formalization in Mizar
by: Ievgen Ivanov, et al.
Published: (2018-05-01) -
All Liouville Numbers are Transcendental
by: Korniłowicz Artur, et al.
Published: (2017-03-01) -
Mizar Analysis of Algorithms: Preliminaries
by: Bancerek Grzegorz
Published: (2007-01-01)