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: | , , |
|---|---|
| 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 |
| _version_ | 1818570581272952832 |
|---|---|
| author | Adam Grabowski Artur Kornilowicz Adam Naumowicz |
| author_facet | Adam Grabowski Artur Kornilowicz Adam Naumowicz |
| author_sort | Adam Grabowski |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-14T13:43:50Z |
| format | Article |
| id | doaj.art-b94db71521544edb9e5060f349e1cba9 |
| institution | Directory Open Access Journal |
| issn | 1972-5787 |
| language | English |
| last_indexed | 2024-12-14T13:43:50Z |
| publishDate | 2010-01-01 |
| publisher | University of Bologna |
| record_format | Article |
| series | Journal of Formalized Reasoning |
| spelling | doaj.art-b94db71521544edb9e5060f349e1cba92022-12-21T22:59:22ZengUniversity of BolognaJournal of Formalized Reasoning1972-57872010-01-0132153245Mizar in a NutshellAdam GrabowskiArtur KornilowiczAdam NaumowiczThis 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.http://jfr.cib.unibo.it/article/view/1980/1356 |
| spellingShingle | Adam Grabowski Artur Kornilowicz Adam Naumowicz Mizar in a Nutshell Journal of Formalized Reasoning |
| title | Mizar in a Nutshell |
| title_full | Mizar in a Nutshell |
| title_fullStr | Mizar in a Nutshell |
| title_full_unstemmed | Mizar in a Nutshell |
| title_short | Mizar in a Nutshell |
| title_sort | mizar in a nutshell |
| url | http://jfr.cib.unibo.it/article/view/1980/1356 |
| work_keys_str_mv | AT adamgrabowski mizarinanutshell AT arturkornilowicz mizarinanutshell AT adamnaumowicz mizarinanutshell |