Mizar is the name of a formal language derived from informal mathematics and computer software that enables proof-checking of texts written in that language. The system has been actively developed since 1970s, growing into a popular proof assistant accompanied with a huge repository of formalized mathematical knowledge. In this short overview, we give an outline of the key features of the Mizar language, the ideas and theory behind the system, its main applications, and current development. © 2009 Springer.
CITATION STYLE
Naumowicz, A., & Korniłowicz, A. (2009). A brief overview of MIZAR. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5674 LNCS, pp. 67–72). https://doi.org/10.1007/978-3-642-03359-9_5
Mendeley helps you to discover research relevant for your work.